| Books 1 - 10 of 54 | Previous | Next |
|
 | | Isabelle/HOL: A Proof Assistant for Higher-order Logic (Lecture Notes in Computer Science)
by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Paperback, 218 Pages, Published 2004 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
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 |
|
 | | Tool support for logics of programs
by Lawrence C. Paulson
Unknown Binding, Published 1996 by University of Cambridge, Computer Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Reagan on energy: A special report (An Oil daily report)
by S. Lawrence Paulson
Unknown Binding, 248 Pages, Published 1981 by Oil Daily
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | HOGARTH: THE TATE GALLERY 2 DECEMBER 1971 - 6 FEBRUARY 1972.
by Lawrence. Biographical essay by Ronald Paulson. Gowing
Paperback, Published 1971 by Tate Gallery
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Should your specification language be typed? (Technical report)
by Leslie Lamport, Lawrence C. Paulson
Unknown Binding, Published 1997 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 |
|
 | | Interactive theorem proving with Cambridge LCF: A user's manual (TR. University of Cambridge, Computer Laboratory)
by Lawrence c Paulson
Unknown Binding, 140 Pages, Published 1985 by University of Cambridge, Computer Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | The Isabelle reference manual
by Lawrence C. Paulson
Unknown Binding, Published 1993 by University of Cambridge, Computer Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Machanizing a theory of program composition for UNITY (Technical report)
by Lawrence C. Paulson
Unknown Binding, Published 2000 by University of Cambridge, Computer Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 10 of 54 | Previous | Next |