Geoff Sutcliffe - PDFSEARCH.IO - Document Search Engine

Geoff Sutcliffe
Results: 16

#	Item
1	The Practice of Clausification in Automatic Theorem Proving Geoff Sutcliffe Stuart Melville Add to Reading List Source URL: www.cs.miami.edu - Date: 2006-05-03 07:33:26
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	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Type theory Data types Formal methods Functional programming Logic in computer science Symbol Satisfiability modulo theories HindleyMilner type system Geoff Sutcliffe Xi Polymorphism Type variable
4	The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-11-17 12:13:47 Automated theorem proving Automated reasoning Proof assistant First-order logic Type theory TarskiGrothendieck set theory Mizar and Alcor Geoff Sutcliffe Jordan curve theorem Isabelle Mathematical logic Reasoning system
5	A Grand Challenge of Theorem Discovery Geoff Sutcliffe1 , Yi Gao1 , and Simon Colton2 1 Department of Computer Science, University of Miami , Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-01-08 08:29:08 Automated theorem proving Statements Formal systems Proof theory Philosophy of mathematics Theorem Automated reasoning Conjecture Mathematical logic Mathematical proof Geoff Sutcliffe Axiom
6	Using the TPTP Language for Representing Derivations in Tableau and Connection Calculi Geoff Sutcliffe Department of Computer Science University of Miami, USA Add to Reading List Source URL: www.jens-otten.de Language: English - Date: 2012-03-30 11:05:54
7	1 Large Theory Reasoning with SUMO at CASC Adam Pease a,∗ , Geoff Sutcliffe b , Nick Siegel a , and Steven Trac b Add to Reading List Source URL: www.adampease.org Language: English - Date: 2010-03-26 10:21:21
8	Combining Proofs to form Different Proofs Geoff Sutcliffe Cynthia Chang University of Miami, USA Add to Reading List Source URL: pxtp2011.loria.fr Language: English - Date: 2011-08-12 05:51:25
9	Using the TPTP Language for Representing Derivations in Tableau and Connection Calculi Geoff Sutcliffe Department of Computer Science University of Miami, USA Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2011-06-07 13:44:55
10	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