Lawrence C. Paulson

Lawrence C. Paulson’s Followers (2)

member photo

member photo

Lawrence C. Paulson

Combine Editions
Lawrence C. Paulson’s books

Average rating: 3.91 · 57 ratings · 5 reviews · 6 distinct works

	ML for the Working Programmer, 2nd Edition 3.92 avg rating — 48 ratings — published 1991 — 9 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2) 4.20 avg rating — 5 ratings — published 1987 — 7 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283) by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel 3.50 avg rating — 4 ratings — published 2002 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (828)) 0.00 avg rating — 0 ratings — published 1994 — 7 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science, 6172) by Matt Kaufmann (Editor), Lawrence C. Paulson (Editor) 0.00 avg rating — 0 ratings — published 2010 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science Book 6172) by Matt Kaufmann (Editor), Lawrence C. Paulson (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

More books by Lawrence C. Paulson…

Is this you? Let us know. If not, help out and invite Lawrence to Goodreads.