Journals in DBLP

J. Autom. Reasoning
1991, volume: 7, number: 4

1. Michael A. McRobbie
   Automated Reasoning and Nonclassical Logics: Introduction. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1991, v:7, n:4, pp:447-451 [Journal]
   
2. John K. Slaney
   The Ackermann Constant Theorem: A Computer-Assisted Investigation. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1991, v:7, n:4, pp:453-474 [Journal]
   
3. Paul Pritchard
   Algorithms for Finding Matrix Models of Propositional Calculi. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1991, v:7, n:4, pp:475-487 [Journal]
   
4. Laurent Catach
   TABLEAUX: A General Theorem Prover for Modal Logics. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1991, v:7, n:4, pp:489-510 [Journal]
   
5. Dov M. Gabbay, Frank Kriwaczek
   A Family of Goal Directed Theorem Provers Based on Conjunction and Implication: Part I. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1991, v:7, n:4, pp:511-536 [Journal]
   
6. Dick de Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette
   Computations in Fragments of Intuitionistic Propositional Logic. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1991, v:7, n:4, pp:537-561 [Journal]
   
7. A. W. Bollen
   Relevant Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1991, v:7, n:4, pp:563-585 [Journal]
   
8. Grigori Mints, Tanel Tammet
   Condensed Detachment is Complete for Relevance Logic: A Computer-Aided Proof. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1991, v:7, n:4, pp:587-596 [Journal]
   
9. Robert K. Meyer, Martin W. Bunder, Lawrence Powers
   Implementing the `Fool's Model' of Combinatory Logic. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1991, v:7, n:4, pp:597-630 [Journal]
   
10. Larry Wos
    The Problem of Choosing the Representation, Inference Rule, and Strategy. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:4, pp:631-634 [Journal]
    
11. Paul B. Thistlewaite, Michael A. McRobbie
    Approaching Hard Non-Classical Problems. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:4, pp:635-637 [Journal]