| Books 1 - 10 of 20 | Previous | Next |
|
 | | Hate Crimes: Legal Issues and Legislation
by Lawrence N. Paulson (Editor)
Paperback, Published 2008 by Nova Science Publishers
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: 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 |
|
 | | 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 |
|
 | | An Oil Daily Report Reagan on Energy
by S. Lawrence Paulson
Paperback, Published 1981 by Oil Daily
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 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 |
|
 | | 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 |
|
| Books 1 - 10 of 20 | Previous | Next |