Journals in DBLP
Geoff Sutcliffe , Christian B. Suttner The CADE-13 ATP System Competition. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:137-138 [Journal ] Geoff Sutcliffe , Christian B. Suttner The Design of the CADE-13 ATP System Competition. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:139-162 [Journal ] Geoff Sutcliffe , Christian B. Suttner The Procedures of the CADE-13 ATP System Competition. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:163-169 [Journal ] Robert Nieuwenhuis , José Miguel Rivero , Miguel Ángel Vallejo Barcelona. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:171-176 [Journal ] Geoffrey D. Alexander CLIN-E - Smallest Instance First Hyper-Linking. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:177-182 [Journal ] Heng Chu , David A. Plaisted CLIN-S - A Semantically Guided First-Order Theorem Prover. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:183-188 [Journal ] Jörg Denzinger , Martin Kronenburg , Stephan Schulz DISCOUNT - A Distributed and Learning Equational Prover. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:189-198 [Journal ] Tanel Tammet Gandalf. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:199-204 [Journal ] Reinhold Letz LINUS - A Link Instantion Prover with Unit Support. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:205-210 [Journal ] William McCune , Larry Wos Otter - The CADE-13 Competition Incarnations. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:211-220 [Journal ] M. Paramasivam , David A. Plaisted RRTP - A Replacement Rule Theorem Prover. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:221-226 [Journal ] Tim Geisler , Sven Panne , Heribert Schütz Satchmo - The Compiling and Functional Variants. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:227-236 [Journal ] Max Moser , Ortrun Ibens , Reinhold Letz , Joachim Steinbach , Christoph Goller , Johann Schumann , Klaus Mayr SETHEO and E-SETHEO - The CADE-13 Systems. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:237-246 [Journal ] Christoph Weidenbach SPASS - Version 0.49. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:247-252 [Journal ] Christian B. Suttner SPTHEO - A Parallel Theorem Prover. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:253-258 [Journal ] Steve Greenbaum Violet. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:259-264 [Journal ] Thomas Hillenbrand , Arnim Buch , Roland Vogt , Bernd Löchner WALDMEISTER - High-Performance Equational Deduction. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:265-270 [Journal ] Geoff Sutcliffe , Christian B. Suttner The Results - of the CADE-13 ATP System Competition. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:271-286 [Journal ] Francis Jeffry Pelletier , Geoff Sutcliffe , Christian B. Suttner Conclusions about the CADE-13 ATP System Competition. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:287-296 [Journal ]