E theorem prover - PDFSEARCH.IO - Document Search Engine

E theorem prover
Results: 21

#	Item
1	Proceedings of the CADE-25 ATP System Competition CASC-25 Geo↵ Sutcli↵e University of Miami, USA Abstract Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2015-08-02 19:16:33 Automated theorem proving Software CADE ATP System Competition E theorem prover CASC Andrei Voronkov Mathematical logic
2	Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-11-07 08:18:44 Theoretical computer science Automated theorem proving Mathematical logic Software Superposition calculus E theorem prover Vampire Term indexing Resolution Handbook of Automated Reasoning Automated reasoning Unification
3	The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Rules of inference Resolution Model theory Logic in computer science Logic programming First-order logic Modal logic Prolog E theorem prover Superposition calculus CARINE
4	Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Theoretical computer science Constraint programming Satisfiability modulo theories Z3 Isabelle Formal verification Proof assistant Automated reasoning E theorem prover
5	Interactive Theorem Proving in Industry John Harrison Intel Corporation 16 April 2012 Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:01 Automated theorem proving Logic in computer science Proof assistants Logic for Computable Functions E theorem prover HOL Robin Milner Interactive Theorem Proving Type theory
6	Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Prolog Logic programming Model elimination Mathematical logic E theorem prover First-order logic Lean theorem prover Automated reasoning
7	Satallax: An Automatic Higher-Order Prover Chad E. Brown Saarland University, Saarbr¨ ucken, Germany Abstract. Satallax is an automatic higher-order theorem prover that Add to Reading List Source URL: www.ps.uni-saarland.de Language: English
8	PDF Document Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-10 09:41:34 Automated theorem proving Usability KeY Automated reasoning Proof assistant Reasoning system Formal verification E theorem prover Isabelle Software testing Geoff Sutcliffe Software verification
9	First-Order Theorem Proving and VAMPIRE? Laura Kov´acs1 and Andrei Voronkov2 1 Chalmers University of Technology 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-05-02 16:51:41 Logical syntax Automated theorem proving Formal languages Formal methods Vampire Resolution Conjunctive normal form E theorem prover First-order logic Logic Mathematics Mathematical logic
10	My Life with an Automatic Theorem Prover Jasmin Christian Blanchette Technische Universität München, Germany Abstract Sledgehammer integrates third-party automatic theorem provers in the proof assistant Isabelle/HOL. I Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2014-06-02 12:21:13 Mathematics Logic in computer science Formal methods Mathematical logic E theorem prover Isabelle Vampire Automated reasoning Proof assistant Theoretical computer science Applied mathematics Automated theorem proving