Journals in DBLP

J. Autom. Reasoning
1988, volume: 4, number: 3

1. Shang-Ching Chou
   An Introduction to Wu's Method for Mechanical Theorem Proving in Geometry. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1988, v:4, n:3, pp:237-267 [Journal]
   
2. Sidney C. Bailin
   A lambda-Unifiability Test for Set Theory. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1988, v:4, n:3, pp:269-286 [Journal]
   
3. David A. Plaisted
   Non-Horn Clause Logic Programming Without Contrapositives. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1988, v:4, n:3, pp:287-325 [Journal]
   
4. Larry Wos
   The Problem of Self-Analytically Choosing the Set of Support. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1988, v:4, n:3, pp:327-329 [Journal]
   
5. Deepak Kapur, Hantao Zhang
   Proving Equivalence of Different Axiomatizations of Free Groups. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1988, v:4, n:3, pp:331-352 [Journal]