Journals in DBLP

J. Autom. Reasoning
1997, volume: 19, number: 3

1. William McCune
   Solution of the Robbins Problem. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:19, n:3, pp:263-276 [Journal]
   
2. Ricardo Caferra, Nicolas Peltier
   A New Technique for Verifying and Correcting Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:19, n:3, pp:277-318 [Journal]
   
3. Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh
   Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:19, n:3, pp:319-346 [Journal]
   
4. David B. Sturgill, Alberto Maria Segre
   Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:19, n:3, pp:347-376 [Journal]