Journals in DBLP

J. Autom. Reasoning
1995, volume: 15, number: 3

1. Larry Wos
   Searching for Circles of Pure Proofs. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1995, v:15, n:3, pp:279-315 [Journal]
   
2. Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
   A Set-Theoretic Translation Method for Polymodal Logics. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1995, v:15, n:3, pp:317-337 [Journal]
   
3. Bernhard Beckert, Joachim Posegga
   leanTAP: Lean Tableau-based Deduction. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1995, v:15, n:3, pp:339-358 [Journal]
   
4. John N. Hooker, V. Vinay
   Branching Rules for Satisfiability. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1995, v:15, n:3, pp:359-383 [Journal]