Journals in DBLP

J. Autom. Reasoning
1986, volume: 2, number: 3

1. Wu Wen-Tsün
   Basic Principles of Mechanical Theorem Proving in Elementary Geometries. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1986, v:2, n:3, pp:221-252 [Journal]
   
2. Shang-Ching Chou, William F. Schelter
   Proving Geometry Theorems with Rewrite Rules. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1986, v:2, n:3, pp:253-273 [Journal]
   
3. Manfred Schmidt-Schauß
   Unification under Associativity and Idempotence is of Type Nullary. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1986, v:2, n:3, pp:277-281 [Journal]
   
4. Franz Baader
   The Theory of Idempotent Semigroups is of Unification Type Zero. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1986, v:2, n:3, pp:283-286 [Journal]
   
5. Robert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, Larry Wos
   Set Theory in First-Order Logic: Clauses for Gödel's Axioms. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1986, v:2, n:3, pp:287-327 [Journal]