Lawrence C. Paulson





Lawrence C. Paulson



Average rating: 3.79 · 33 ratings · 2 reviews · 8 distinct works · Similar authors
ML for the Working Programmer

by
3.82 avg rating — 28 ratings — published 1991 — 4 editions
Rate this book
Clear rating
Logic and Computation: Inte...

by
liked it 3.00 avg rating — 1 rating — published 1990
Rate this book
Clear rating
Logic and Computation: Inte...

really liked it 4.00 avg rating — 1 rating — published 1987
Rate this book
Clear rating
Isabelle

by
0.00 avg rating — 0 ratings — published 1994 — 2 editions
Rate this book
Clear rating
Isabelle: A Generic Theorem...

by
0.00 avg rating — 0 ratings — published 1994
Rate this book
Clear rating
Isabelle/Hol: A Proof Assis...

by
3.67 avg rating — 3 ratings — published 2002 — 2 editions
Rate this book
Clear rating
Interactive Theorem Proving...

by
0.00 avg rating — 0 ratings — published 2010
Rate this book
Clear rating
Interactive Theorem Proving

by
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.