Journals in DBLP

J. Autom. Reasoning
2002, volume: 28, number: 3

1. Robert Cremanns, Friedrich Otto
   A Completion Procedure for Finitely Presented Groups That Is Based on Word Cycles. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:28, n:3, pp:235-256 [Journal]
   
2. Predrag Janicic, Alan Bundy
   A General Setting for Flexibly Combining and Augmenting Decision Procedures. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:28, n:3, pp:257-305 [Journal]
   
3. Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier
   The IJCAR ATP System Competition. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:28, n:3, pp:307-320 [Journal]
   
4. Henk Barendregt, Erik Barendsen
   Autarkic Computations in Formal Proofs. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:28, n:3, pp:321-336 [Journal]