Journals in DBLP

J. Autom. Reasoning
1987, volume: 3, number: 3

1. S. V. Reeves
   Adding Equality to Semantic Tableaux. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1987, v:3, n:3, pp:225-246 [Journal]
   
2. Alexander Herold, Jörg H. Siekmann
   Unification in Abelian Semigroups. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1987, v:3, n:3, pp:247-283 [Journal]
   
3. Mark E. Stickel
   A Comparison of the Variable-Abstraction and Constant-Abstraction Methods for Associative-Commutative Unification. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1987, v:3, n:3, pp:285-289 [Journal]
   
4. Shang-Ching Chou
   A Method for the Mechanical Derivation of Formulas in Elementary Geometry. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1987, v:3, n:3, pp:291-299 [Journal]
   
5. Jean-Louis Lassez, Kim Marriott
   Explicit Representation of Terms Defined by Counter Examples. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1987, v:3, n:3, pp:301-317 [Journal]
   
6. Larry Wos
   The Problem of Extending the Set of Support Strategy. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1987, v:3, n:3, pp:319-328 [Journal]
   
7. Michael J. Miller, Donald Perlis
   Proving Self-Utterances. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1987, v:3, n:3, pp:329-338 [Journal]