Journals in DBLP

J. Autom. Reasoning
1997, volume: 18, number: 2

1. 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]
   
2. 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]
   
3. 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]
   
4. 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]
   
5. 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]
   
6. 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]
   
7. 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]
   
8. Tanel Tammet
   Gandalf. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:18, n:2, pp:199-204 [Journal]
   
9. 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]
   
10. 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]
    
11. 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]
    
12. 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]
    
13. 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]
    
14. Christoph Weidenbach
    SPASS - Version 0.49. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:18, n:2, pp:247-252 [Journal]
    
15. 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]
    
16. Steve Greenbaum
    Violet. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:18, n:2, pp:259-264 [Journal]
    
17. 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]
    
18. 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]
    
19. 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]