| Books 1 - 10 of 20 | Previous | Next |
|
 | | 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 |
|
 | | Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) (New Ed Edition)
by Lawrence C. Paulson
Paperback, 320 Pages, Published 1990 by Cambridge University Press, New Ed Edition
Compare Prices | Add to Wish List |
|
 | | 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 |
|
 | | Hate Crimes: Legal Issues and Legislation
by Lawrence N. Paulson (Editor)
Paperback, Published 2008 by Nova Science Publishers
Compare Prices | Add to Wish List |
|
 | | 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 |
|
 | | An Oil Daily Report Reagan on Energy
by S. Lawrence Paulson
Paperback, Published 1981 by Oil Daily
Compare Prices | Add to Wish List |
|
 | | 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 |
|
 | | 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 |
|
 | | 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 |
|
 | | 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 |
|
| Books 1 - 10 of 20 | Previous | Next |