|
Journals in DBLP
- 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]
- 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]
- 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]
- 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]
|