<--- Back to Details
First PageDocument Content
Logic in computer science / Formal methods / Automated theorem proving / HOL / Logic for Computable Functions / Higher-order logic / Isabelle / Michael J. C. Gordon / Theorem Proving in Higher-Order Logics / Theoretical computer science / Mathematics / Applied mathematics
Date: 2009-08-23 14:58:44
Logic in computer science
Formal methods
Automated theorem proving
HOL
Logic for Computable Functions
Higher-order logic
Isabelle
Michael J. C. Gordon
Theorem Proving in Higher-Order Logics
Theoretical computer science
Mathematics
Applied mathematics

Add to Reading List

Source URL: www.cl.cam.ac.uk

Download Document from Source Website

File Size: 60,10 KB

Share Document on Facebook

Similar Documents

Logic in computer science / HOL / Logic for Computable Functions / Lexical analysis / Michael J. C. Gordon / ML / Inform / D / Higher-order logic / Software engineering / Computing / Computer programming

ProofPower DESCRIPTION PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006

DocID: YtSW - View Document

Logic in computer science / Formal methods / Automated theorem proving / HOL / Logic for Computable Functions / Higher-order logic / Isabelle / Michael J. C. Gordon / Theorem Proving in Higher-Order Logics / Theoretical computer science / Mathematics / Applied mathematics

PDF Document

DocID: 15Pc - View Document

Applied mathematics / Formal methods / Automated theorem proving / ACL2 / Lisp programming language / Formal verification / Michael J. C. Gordon / HOL / Mathematical logic / Theoretical computer science / Mathematics / Logic in computer science

PDF Document

DocID: 104Y - View Document