Premium Members Get 10% Off and Earn Rewards Find Out More

 

1 - 3 of 3 results for "Lawrence C. Paulson"

Grid View Grid
List View List
Grid View Grid
List View List
Title: Isabelle: A Generic Theorem Prover / Edition 1, Author: Lawrence C. Paulson
QUICK ADD
Isabelle: A Generic Theorem…
by Lawrence C. Paulson, T. Nipkow
#828 in Series
Paperback $54.99
Title: Isabelle/HOL: A Proof Assistant for Higher-Order Logic, Author: Tobias Nipkow
QUICK ADD
Isabelle/HOL: A Proof…
by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
#2283 in Series
Paperback $59.99
Title: Logic and Computation: Interactive Proof with Cambridge LCF, Author: Lawrence C. Paulson
QUICK ADD
Logic and Computation:…
by Lawrence C. Paulson
#2 in Series
Paperback $64.99