Lawrence C. Paulson
Lawrence C. Paulson has written at least 3 books. Their most popular book is ML for the Working Programmer, 2nd Edition with 2 saves with an average rating of -⭐.
They are best known for writing in the genres one, asdfsa, and Asdfsa.
mone, asdfsa, and Asdfsa are their most common moods.
ML for the Working Programmer, 2nd Edition
ByLawrence C. Paulson
1991 • 2 Readers • 500 pages
Interactive Theorem Proving
ByMatt Kaufmann,Lawrence C. Paulson
2010 • 495 pages
Isabelle/HOL
ByTobias Nipkow,Lawrence C. Paulson,+1 more
2003 • 226 pages