The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002