Journals in DBLP

J. Autom. Reasoning
1990, volume: 6, number: 3

1. Timothy Stokes
   Gröbner Bases in Exterior Algebra. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1990, v:6, n:3, pp:233-250 [Journal]
   
2. Yuan Yu
   Computer Proofs in Group Theory. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1990, v:6, n:3, pp:251-286 [Journal]
   
3. Wolfgang Bibel
   Short Proofs of the Pigeonhole Formulas Based on the Connection Method. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1990, v:6, n:3, pp:287-297 [Journal]
   
4. Joseph S. di Piazza
   Interweaving Knowledge Extracting, Organizing and Evaluating: A Concrete Design for Preventing Logic and Structure Bugs while Interviewing Experts. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1990, v:6, n:3, pp:299-317 [Journal]
   
5. Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen
   Equivalence of Propositional Prolog Programs. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1990, v:6, n:3, pp:319-335 [Journal]
   
6. Larry Wos
   The Problem of Finding a Semantic Strategy for Focusing Inference Rules. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1990, v:6, n:3, pp:337-339 [Journal]
   
7. W. W. Bledsoe
   Challenge Problems in Elementary Calculus. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1990, v:6, n:3, pp:341-359 [Journal]