Journals in DBLP

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

1. Larry M. Hines
   A Tribute to Woody Bledsoe. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:18, n:1, pp:1-4 [Journal]
   
2. Rong-Huei Hou, Tzung-Pei Hong, Shian-Shyong Tseng, Sy-Yen Kuo
   A New Probabilistic Induction Method. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:18, n:1, pp:5-24 [Journal]
   
3. Grigoris Antoniou, Elmar Langetepe
   A Correct Logic Programming Computation of Default Logic Extensions. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:18, n:1, pp:25-46 [Journal]
   
4. Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray
   Fast Subsumption Checks Using Anti-Links. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:18, n:1, pp:47-83 [Journal]
   
5. Simon Finn, Michael P. Fourman, John Longley
   Partial Functions in a Total Setting. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:18, n:1, pp:85-104 [Journal]
   
6. Li Dafa
   Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:18, n:1, pp:105-134 [Journal]
   
7. Francis Jeffry Pelletier, Geoff Sutcliffe
   An Erratum for Some Errata to ATP Problems. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:18, n:1, pp:135- [Journal]