Results : 151-175/290
Authors:
W.McCune,L.Wos
Journal: Journal of automated reasoning
Citation: W.mccune,l.wos, Otter.The CADE-13 Competition Incarnations, Journal of automated reasoning , 18(2), 1997, pp. 211-220
Authors:
R.Veroff,L.Wos
Journal: Journal of automated reasoning
Citation: R.veroff,l.wos, The Linked Inference Principle. I: The Formal Treatment, Journal of automated reasoning , 8(2), 1992, pp. 213-274
Authors:
W.M.Farmer,J.D.Guttman,F.J.Thayer
Journal: Journal of automated reasoning
Citation: W.m.farmer,j.d.guttman,f.j.thayer, IMPS: An Interactive Mathematical Proof System, Journal of automated reasoning , 11(2), 1993, pp. 213-248
Authors:
L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, OTTER and Moufang Identity Problem, Journal of automated reasoning , 17(2), 1996, pp. 215-257
Authors:
G.Huang,D.Myers
Journal: Journal of automated reasoning
Citation: G.huang,d.myers, Studies in Automated Reasoning: Subgoal Strategies for Solving Board Puzzles, Journal of automated reasoning , 20(3), 1998, pp. 215-253
Authors:
D.E.Brown,W.J.Markert
Journal: Journal of automated reasoning
Citation: D.e.brown,w.j.markert, Uncertainty Management with Imprecise Knowledge with Application to Design, Journal of automated reasoning , 9(2), 1992, pp. 217-230
Authors:
K.Kunen
Journal: Journal of automated reasoning
Citation: K.kunen, A Ramsey Theorem in Boyer-Moore Logic, Journal of automated reasoning , 15(2), 1995, pp. 217-235
Authors:
S.C.Chou,X.S.Gao,J.Z.Zhang
Journal: Journal of automated reasoning
Citation: S.c.chou,x.s.gao,j.z.zhang, A Deductive Database Approach to Automated Geometry theorem Proving and Discovering, Journal of automated reasoning , 25(3), 2000, pp. 219-246
Authors:
R.Veroff
Journal: Journal of automated reasoning
Citation: R.veroff, Studies in Automated reasoning: Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case Studies, Journal of automated reasoning , 16(3), 1996, pp. 223-239
Authors:
V.Risch,C.B.Schwind
Journal: Journal of automated reasoning
Citation: V.risch,c.b.schwind, Automated Reasoning With Analytic Tableaux: Tableau-Based Characterization and Theorem Proving for Default Logic, Journal of automated reasoning , 13(2), 1994, pp. 223-242
Authors:
L.Luzkaszewicz
Journal: Journal of automated reasoning
Citation: L.luzkaszewicz, Triple Dots in a Formal Language, Journal of automated reasoning , 22(3), 1999, pp. 223-239
Authors:
I.Rish,R.Dechter
Journal: Journal of automated reasoning
Citation: I.rish,r.dechter, Resolution Versus Search: Two Strategies for SAT, Journal of automated reasoning , 24(1/2), 2000, pp. 225-275
Authors:
M.P.Bonacina,J.Hsiang
Journal: Journal of automated reasoning
Citation: M.p.bonacina,j.hsiang, On Subsumption in Distributed Derivations, Journal of automated reasoning , 12(2), 1994, pp. 225-240
Authors:
N.Heintze,S.Michaylov,P.Stuckey
Journal: Journal of automated reasoning
Citation: N.heintze,s.michaylov,p.stuckey, CLP(R) and Some Electrical Engineering Problems, Journal of automated reasoning , 9(2), 1992, pp. 231-260
Authors:
J.Chazarain,S.Muller
Journal: Journal of automated reasoning
Citation: J.chazarain,s.muller, Automated Synthesis of Recursive Programs from a V-) Logical Specification, Journal of automated reasoning , 21(2), 1998, pp. 233-275
Authors:
F.Kammuller,L.C.Paulson
Journal: Journal of automated reasoning
Citation: F.kammuller,l.c.paulson, A Formal Proof of Sylow's Theorem, Journal of automated reasoning , 23(3/4), 1999, pp. 235-264
Authors:
M.A.Suchenek
Journal: Journal of automated reasoning
Citation: M.a.suchenek, First-Order Syntactic Characterizations of Minimal Entailment, Domain-Minimal Entailment, and Herbrand Entailment, Journal of automated reasoning , 10(2), 1993, pp. 237-264
Authors:
A.Ramsay
Journal: Journal of automated reasoning
Citation: A.ramsay, Theorem Proving for Intensional Logic, Journal of automated reasoning , 14(2), 1995, pp. 237-255
Authors:
A.Voronkov
Journal: Journal of automated reasoning
Citation: A.voronkov, The Anatomy of Vampire, Journal of automated reasoning , 15(2), 1995, pp. 237-265
Authors:
V.J.Digricoli
Journal: Journal of automated reasoning
Citation: V.j.digricoli, The Rue Theorem-Proving System: The Complete Ste of LIM+Challenge Problems, Journal of automated reasoning , 12(2), 1994, pp. 240-264
Authors:
G.Pesant,M.Boyer
Journal: Journal of automated reasoning
Citation: G.pesant,m.boyer, Reasoning about Solids Using Constraint Logic Programming, Journal of automated reasoning , 22(3), 1999, pp. 241-262
Authors:
P.Baumgartner
Journal: Journal of automated reasoning
Citation: P.baumgartner, Linear and Unit-Resulting Refutations for Horn Theories, Journal of automated reasoning , 16(3), 1996, pp. 241-319
Authors:
M.D'Agostino,D.M.Gabbay
Journal: Journal of automated reasoning
Citation: M.d'Agostino,d.m.gabbay, Automated Reasoning With Analytic Tableaux: A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics, Journal of automated reasoning , 13(2), 1994, pp. 243-279
Authors:
M.A.Suchenek
Journal: Journal of automated reasoning
Citation: M.a.suchenek, Evaluation of Queries under Closed-World Assumption.PartII:The Hierarchical Case, Journal of automated reasoning , 25(4), 2000, pp. 247-289
Authors:
J.Grant,J.Horty,J.Lobo,J.Minker
Journal: Journal of automated reasoning
Citation: J.grant,j.horty,j.lobo,j.minker, View Updates in Stratified Disjunctive Databases, Journal of automated reasoning , 11(2), 1993, pp. 249-268