Journals in DBLP

J. Autom. Reasoning
1992, volume: 8, number: 3

1. Dave Barker-Plummer
   Gazing: An Approach to the Problem of Definition and Lemma Use. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1992, v:8, n:3, pp:311-344 [Journal]
   
2. Chitta Baral, V. S. Subrahmanian
   Stable and Extension Class Theory for Logic Programs and Default Logics. [Citation Graph (4, 0)][DBLP]
   J. Autom. Reasoning, 1992, v:8, n:3, pp:345-366 [Journal]
   
3. Robert J. Hall
   Comparing Parameter Schemes for Propositional Reasoning: An Empirical Study. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1992, v:8, n:3, pp:367-394 [Journal]
   
4. Mark F. Russo, Richard L. Peskin
   Automatically Identifying the Asymptotic Behavior of Nonlinear Singularly Perturbed Boundary Value Problems. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1992, v:8, n:3, pp:395-419 [Journal]
   
5. Larry Wos
   The Problem of Reasoning from Inequalities. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1992, v:8, n:3, pp:421-426 [Journal]