Home Advanced Search

Advanced Search - Page 1

Isabelle: A Generic Theorem Prover
  • DJVU
  • English
  • Year: 1994
  • Author: Lawrence C. Paulson (eds.)
Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Gerwin Klein (auth.), Matt Kaufmann, Lawrence C. Paulson (eds.)
Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
ML for the Working Programmer, 2nd Edition
  • PDF
  • English
  • Year: 1996
  • Author: L. C. Paulson
Failure Analysis of Integrated Circuits: Tools and Techniques
  • PDF
  • English
  • Year: 1999
  • Author: Lawrence C. Wagner (auth.), Lawrence C. Wagner Ph.D. (eds.)
African Economies in Transition: Volume 2: The Reform Experience
  • PDF
  • English
  • Year: 1999
  • Author: Jo Ann Paulson (eds.)
Donald Trump and the prospect for American democracy: an unprecedented president in an age of polarization
  • PDF
  • English
  • Year: 2018
  • Author: Paulson, Arthur C.;Trump, Donald
Profiles of Wind Temperature and Humidity Over the Arabian Sea
  • PDF
  • English
  • Year: 2023
  • Author: F. I. Badgley; C. A. Paulson; M. Miyake
Lynnworth Ultrasonic flowmeters
  • PDF
  • English
  • Author: Lawrence C.
search