Results : 76-100/290
Authors:
N.Olivetti
Journal: Journal of automated reasoning
Citation: N.olivetti, Tableaux and Sequent Calculus for Minimal Entailment, Journal of automated reasoning , 9(1), 1992, pp. 99-140
Authors:
J.F.Groote:J.P.Warners
Journal: Journal of automated reasoning
Citation: J.f.groote:j.p.warners, The Propositional Formula Checker HerrHugo, Journal of automated reasoning , 24(1/2), 2000, pp. 101-125
Authors:
J.S.Aitken,H.Reichgelt,N.Shadbolt
Journal: Journal of automated reasoning
Citation: J.s.aitken,h.reichgelt,n.shadbolt, Resolution Theorem Proving in Reified Modal Logics, Journal of automated reasoning , 12(1), 1994, pp. 103-130
Authors:
L.Difa
Journal: Journal of automated reasoning
Citation: L.difa, Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving, Journal of automated reasoning , 18(1), 1997, pp. 105-134
Authors:
J.J.Alferes,L.M.Pereira,T.C.Przymusinski
Journal: Journal of automated reasoning
Citation: J.j.alferes,l.m.pereira,t.c.przymusinski, Logic for Artificial Intelligence: 'Classical' Negation in Nonmonotonic Reasoning and Logic Programming, Journal of automated reasoning , 20(1/2), 1998, pp. 107-142
Authors:
M.Hermann,P.G.Kolaitis
Journal: Journal of automated reasoning
Citation: M.hermann,p.g.kolaitis, Computational Complexity of Simultaneous Elementary Matching Problems, Journal of automated reasoning , 23(2), 1999, pp. 107-136
Authors:
I.Kraan,D.Basin,A.Bundy
Journal: Journal of automated reasoning
Citation: I.kraan,d.basin,a.bundy, Middle-Out Reasoning for Synthesis and Induction, Journal of automated reasoning , 16(1;2), 1996, pp. 113-145
Authors:
F.Vlach
Journal: Journal of automated reasoning
Citation: F.vlach, Simplification in a Satisfiability Checker for VLSI Applications, Journal of automated reasoning , 10(1), 1993, pp. 115-136
Authors:
G.Nadathur
Journal: Journal of automated reasoning
Citation: G.nadathur, A Proof Procedure for the Logic of Hereditary Harrop Formulas, Journal of automated reasoning , 11(1), 1993, pp. 115-146
Authors:
E.Melis,J.Whittle
Journal: Journal of automated reasoning
Citation: E.melis,j.whittle, Analogy inInductive Theorem Proving, Journal of automated reasoning , 22(2), 1999, pp. 117-147
Authors:
A.Yahya,"J.Alberto fernandez",J.Minker
Journal: Journal of automated reasoning
Citation: A.yahya,"j.alberto Fernandez",j.minker, Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases, Journal of automated reasoning , 13(1), 1994, pp. 117-144
Authors:
O.L.Astrachan,D.W.Loveland
Journal: Journal of automated reasoning
Citation: O.l.astrachan,d.w.loveland, The Use of Lemmas in the Model Elimination Procedure, Journal of automated reasoning , 19(1), 1997, pp. 117-141
Authors:
D.Hutter,M.Kohlhase
Journal: Journal of automated reasoning
Citation: D.hutter,m.kohlhase, Managing Structural Information by Higher-Order Colored Unification, Journal of automated reasoning , 25(2), 2000, pp. 123-164
Authors:
E.A.Hirsch
Journal: Journal of automated reasoning
Citation: E.a.hirsch, SAT Logical Search Algorithms: Worst-Case Study, Journal of automated reasoning , 24(1/2), 2000, pp. 127-143
Authors:
P.Narendran,M.Rusinowitch
Journal: Journal of automated reasoning
Citation: P.narendran,m.rusinowitch, Any Ground Associative-Commutative Theory has a Finite Canonical System, Journal of automated reasoning , 17(1), 1996, pp. 131-143
Authors:
J.Earman
Journal: Journal of automated reasoning
Citation: J.earman, Book Review: Bayes or Bust? A Critical Examination of Baysian Confirmation Theory (Simon Parson), Journal of automated reasoning , 12(1), 1994, pp. 131-132
Authors:
L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Basic Research Problems: The Problem of Strategy and Hyperresolution, Journal of automated reasoning , 12(1), 1994, pp. 133-134
Authors:
L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Automating the Search for Elegant Proofs, Journal of automated reasoning , 21(2), 1998, pp. 135-175
Authors:
F.J.Pelletier,G.Sutcliffe
Journal: Journal of automated reasoning
Citation: F.j.pelletier,g.sutcliffe, An Erratum for Some Errata to ATP Problems, Journal of automated reasoning , 18(1), 1997, pp. 135-135
Authors:
L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Basic Research Problems: The Problem of Automated Theorem Finding, Journal of automated reasoning , 10(1), 1993, pp. 137-138
Authors:
A.V.Gelder
Journal: Journal of automated reasoning
Citation: A.v.gelder, Autarky Pruning in Propositional Model Elimination Reduces Failure Redundancy, Journal of automated reasoning , 23(2), 1999, pp. 137-193
Authors:
G.Sutcliffe,C.Suttner
Journal: Journal of automated reasoning
Citation: G.sutcliffe,c.suttner, The CADE-13 ATP System Competition, Journal of automated reasoning , 18(2), 1997, pp. 137-138
Authors:
R.M.Butler,R.A.Overbeek
Journal: Journal of automated reasoning
Citation: R.m.butler,r.a.overbeek, Formula Databases for High-Performance Resolution/Paramodulation Systems, Journal of automated reasoning , 12(2), 1994, pp. 139-156
Authors:
G.Sutcliffe,C.Suttner
Journal: Journal of automated reasoning
Citation: G.sutcliffe,c.suttner, The Design of the CADE-13 ATP System Competition, Journal of automated reasoning , 18(2), 1997, pp. 139-162
Authors:
L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Basic Research Problems: The Problem of Demodulation during Inferance Rule Application, Journal of automated reasoning , 9(1), 1992, pp. 141-142