PROTEIN: A PROver with a Theory Extension Interface (1994)

by Peter Baumgartner , Ulrich Furbach
Venue:AUTOMATED DEDUCTION -- CADE-12, VOLUME 814 OF LNAI
Citations:40 - 10 self

Documents Related by Co-Citation

128 SETHEO: A High-Performance Theorem Prover – R Letz, J Schumann, S Bayerl, W Bibel - 1992
275 R.C.-T.: Symbolic Logic and Mechanical Theorem Proving – C-L Chang, Lee - 1973
100 The TPTP Problem Library – Christian B. Suttner, Geoff Sutcliffe - 1999
31 Non-Horn clause logic programming without contrapositives – David A Plaisted - 1988
14 Consolution as a Framework for Comparing Calculi – Peter Baumgartner, Ulrich Furbach - 1994
22 Model Elimination without Contrapositives and its Application to PTTP – Peter Baumgartner, Ulrich Furbach - 1994
294 OTTER3.0 Reference Manual and Guide – William W. McCune - 1995
112 SATCHMO: a theorem prover implemented in Prolog – Rainer Manthey
54 Mechanical Theorem Proving by Model Elimination – D W Loveland - 1968
223 Automated Theorem Proving: A Logical Basis – D W Loveland - 1978
39 A Prolog technology theorem prover – M Stickel - 1984
13 SETHEO V3.2: Recent Developments - System Abstract – Chr. Goller, R. Letz, K. Mayr, J. Schumann - 1994
12 Consolution and its relation with resolution – E Eder - 1991
28 Near-Horn Prolog and beyond – D W Loveland - 1991
410 First-Order Logic and Automated Theorem Proving. 2nd edition – Melvin Fitting - 1996
12 What is the name of this book? The riddle of Dracula and other logical puzzles. Englewood Cliffs – R M Smullyan - 1978
148 Automated Theorem Proving – Wolfgang Bibel - 1987
11 The tableau-based theorem prover 3 T A P , version 4.0 – Bernhard Beckert, Reiner Hahnle, Peter Oel, Martin Sulzmann - 1996
188 On Extended Disjunctive Logic Programs – Jack Minker, Carolina Ruiz - 1994