|
| Books 1 - 10 of 14 | Previous | Next |
|
 | | Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (1st Edition)
by Lawrence C. Paulson, T. Nipkow (Contributor)
Paperback, 321 Pages, Published 1994 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
by Lawrence C. Paulson
Paperback, 320 Pages, Published 1990 by Cambridge University Press
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science) (1st Edition)
by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Paperback, 218 Pages, Published 2002 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | ML for the Working Programmer (2nd Edition)
by Lawrence C. Paulson
Paperback, 496 Pages, Published 1996 by Cambridge University Press, 2nd Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Natural deduction proof as higher-order resolution (TR. University of Cambridge. Computer Laboratory)
by Lawrence C Paulson
Unknown Binding, 25 Pages, Published 1985 by University of Cambridge, Computer Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Proving termination of normalization functions for conditional expressions (TR. University of Cambridge. Computer Laboratory)
by Lawrence C Paulson
Unknown Binding, 16 Pages, Published 1985 by University of Cambridge, Computer Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | The representation of logics in higher-order logic (Technical report. University of Cambridge. Computer Laboratory)
by Lawrence C Paulson
Unknown Binding, 29 Pages, Published 1987 by University of Cambridge, Computer Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Natural deduction theorem proving via higher-order resolution (Technical report. University of Cambridge. Computer Laboratory)
by Lawrence C Paulson
Unknown Binding, 19 Pages, Published 1985 by University of Cambridge, Computer Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Generic automatic proof tools (Technical report / University of Cambridge. Computer Laboratory)
by Lawrence C Paulson
Unknown Binding, 28 Pages, Published 1996 by University of Cambridge, Computer Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | The foundation of a generic theorem prover (Technical report / University of Cambridge Computer Laboratory)
by Lawrence C Paulson
Unknown Binding, 44 Pages, Published 1988 by University of Cambridge Computer Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 10 of 14 | Previous | Next |