Lawrence C. Paulson – författare
Visar alla böcker från författaren Lawrence C. Paulson. Handla med fri frakt och snabb leverans.
6 produkter
Logic and Computation
Interactive Proof with Cambridge LCF
Av Lawrence C. Paulson, C. J. Van Rijsbergen m. fl.
Häftad, 1990
911 kr
Lägg i varukorg
This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the …
Isabelle/HOL
A Proof Assistant for Higher-Order Logic
Av Tobias Nipkow, Lawrence C. Paulson m. fl.
Häftad, 2002
660 kr
Lägg i varukorg
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic …
Isabelle/HOL
A Proof Assistant for Higher-Order Logic
Av Markus Wenzel, Lawrence C. Paulson m. fl.
E-bok, 2003
815 kr
Lägg i varukorg
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic …
Isabelle
A Generic Theorem Prover
Häftad, 1994
569 kr
Lägg i varukorg
As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to combine inference rules. Isabelle can be applied to reasoning in pure mathematics or verification of …
Interactive Theorem Proving
First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Av Matt Kaufmann, Lawrence C. Paulson
Häftad, 2010
1128 kr
Lägg i varukorg
This volume contains the papers presented at ITP 2010: the First International ConferenceonInteractiveTheoremProving. It washeldduring July11-14,2010 in Edinburgh, Scotland as part of the Federated Logic Conference (FLoC, July 9-21, 2010) alongside the other FLoC conferences and workshops. ITP …
Interactive Theorem Proving
First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Av Lawrence C. Paulson, Matt Kaufmann
E-bok, 2010
1470 kr
Lägg i varukorg
