Books by Lawrence C. Paulson

Lawrence C. Paulson
Average rating 3.91 · 57 ratings · 5 reviews · shelved 321 times

Showing 6 distinct works.

	ML for the Working Programmer, 2nd Edition by Lawrence C. Paulson 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) by Lawrence C. Paulson 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)) by Lawrence C. Paulson 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

* Note: these are all the books on Goodreads for this author. To add more books, click here.