Journals in DBLP

J. Autom. Reasoning
2003, volume: 31, number: 1

1. Robert Veroff
   A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2003, v:31, n:1, pp:1-9 [Journal]
   
2. Lin Hai, Jigui Sun, Zhang Yimin
   Theorem Proving Based on the Extension Rule. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2003, v:31, n:1, pp:11-21 [Journal]
   
3. Geoff Sutcliffe, Christian B. Suttner
   The CADE-18 ATP System Competition. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2003, v:31, n:1, pp:23-32 [Journal]
   
4. Gilles Dowek, Thérèse Hardin, Claude Kirchner
   Theorem Proving Modulo. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2003, v:31, n:1, pp:33-72 [Journal]
   
5. Raffaella Gentilini, Carla Piazza, Alberto Policriti
   From Bisimulation to Simulation: Coarsest Partition Problems. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2003, v:31, n:1, pp:73-103 [Journal]