|
| Books 1 - 10 of 46 | 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 |
|
 | | Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science)
by Lawrence C. Paulson
Paperback, 321 Pages, Published 1994 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 |
|
 | | Isabelle tutorial and user's manual
by Lawrence C. Paulson, Tobias Nipkow
Unknown Binding, Published 1990 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 |
|
 | | 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 |
|
 | | A formulation of the simple theory of types
by Lawrence C. Paulson
Unknown Binding, Published 1989 by University of Cambridge, Computer Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Experience with Isabelle: A generic theorem prover (preliminary version) (Technical report. University of Cambridge. Computer Laboratory)
by Lawrence C Paulson
Unknown Binding, 20 Pages, Published 1988 by University of Cambridge, Computer Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Logic programming, functional programming and inductive definitions
by Lawrence C. Paulson, Andrew W. Smith
Unknown Binding, Published 1990 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 |
|
| Books 1 - 10 of 46 | Previous | Next |