Lawrence C. Paulson





Lawrence C. Paulson

Author profile


About this author


Average rating: 3.62 · 26 ratings · 1 review · 8 distinct works · Similar authors
ML for the Working Programmer
by
3.6 of 5 stars 3.60 avg rating — 20 ratings — published 1991 — 4 editions
Rate this book
Clear rating
Logic and Computation: Inte...
by
3.5 of 5 stars 3.50 avg rating — 2 ratings — published 1990
Rate this book
Clear rating
Logic and Computation: Inte...
4.0 of 5 stars 4.00 avg rating — 1 rating — published 1987
Rate this book
Clear rating
Isabelle
by
0.0 of 5 stars 0.00 avg rating — 0 ratings — published 1994 — 2 editions
Rate this book
Clear rating
Isabelle: A Generic Theorem...
by
0.0 of 5 stars 0.00 avg rating — 0 ratings — published 1994
Rate this book
Clear rating
Isabelle/Hol: A Proof Assis...
by
3.67 of 5 stars 3.67 avg rating — 3 ratings — published 2002 — 2 editions
Rate this book
Clear rating
Interactive Theorem Proving...
by
0.0 of 5 stars 0.00 avg rating — 0 ratings — published 2010
Rate this book
Clear rating
Interactive Theorem Proving
by
0.0 of 5 stars 0.00 avg rating — 0 ratings — published 2010 — 2 editions
Rate this book
Clear rating
More books by Lawrence C. Paulson…

Upcoming Events

No scheduled events. Add an event.



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