Lawrence C Paulson

Lawrence C Paulson is the author of "Interactive Theorem Proving", "Isabelle/HOL", "Isabelle" and "Logic and Computation".

Books by Lawrence C Paulson

Interactive Theor...
Kaufmann Matt
Electronic book text: $149.00

Isabelle/HOL
Nipkow, Tobias
Paperback: $59.99

Interactive Theor...
Kaufmann Matt
Paperback: $109.99

Logic and Computa...
Paulson, Lawrence C.
Electronic book text: