Results : 176-200/290
Authors:
E.Melis
Journal: Journal of automated reasoning
Citation: E.melis, The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe, Journal of automated reasoning , 20(3), 1998, pp. 255-282
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, Automated Production of Traditional Proofs in Solid Geometry, Journal of automated reasoning , 14(2), 1995, pp. 257-291
Authors:
Y.Dimopoulos
Journal: Journal of automated reasoning
Citation: Y.dimopoulos, On Computing Logic Programs, Journal of automated reasoning , 17(3), 1996, pp. 259-289
Authors:
D.Kapur,P.Narendran
Journal: Journal of automated reasoning
Citation: D.kapur,p.narendran, Complexity of Unification Problems with Associative-Communicative Operators, Journal of automated reasoning , 9(2), 1992, pp. 261-288
Authors:
O.Arieli,A.Avron
Journal: Journal of automated reasoning
Citation: O.arieli,a.avron, A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases, Journal of automated reasoning , 22(3), 1999, pp. 263-309
Authors:
W.McCune
Journal: Journal of automated reasoning
Citation: W.mccune, Solution of The Robbins Problem, Journal of automated reasoning , 19(3), 1997, pp. 263-276
Authors:
C.T.Chou,D.Peled
Journal: Journal of automated reasoning
Citation: C.t.chou,d.peled, Formal Verification of a Partial Order Reduction Technique for Model Checking, Journal of automated reasoning , 23(3/4), 1999, pp. 265-298
Authors:
A.Avron
Journal: Journal of automated reasoning
Citation: A.avron, Gentzen-Type Systems, Resolution and Tableaux, Journal of automated reasoning , 10(2), 1993, pp. 265-282
Authors:
L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Basic Research Problems: The Problem of Hyperparamodulation, Journal of automated reasoning , 12(2), 1994, pp. 265-270
Authors:
H.J.Ohlbach,C.Weidenbach
Journal: Journal of automated reasoning
Citation: H.j.ohlbach,c.weidenbach, A Note on Assumptions about Skolem Functions, Journal of automated reasoning , 15(2), 1995, pp. 267-275
Authors:
J.Wang
Journal: Journal of automated reasoning
Citation: J.wang, Inference Flexibility in Horn Clause Knowledge Bases and Simplex Method, Journal of automated reasoning , 11(2), 1993, pp. 269-288
Authors:
L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, The Problem of Reasoning by Case Analysis, Journal of automated reasoning , 11(2), 1993, pp. 269-288
Authors:
T.Tammet
Journal: Journal of automated reasoning
Citation: T.tammet, Proof Strategies in Linear Logic, Journal of automated reasoning , 12(3), 1994, pp. 273-304
Authors:
J.D.Baker,S.Zand-Biglari
Journal: Journal of automated reasoning
Citation: J.d.baker,s.zand-biglari, An Integral Theorem Prover and the Role of Proof Planning, Journal of automated reasoning , 8(2), 1992, pp. 275-296
Authors:
H.Zhang,M.Stickel
Journal: Journal of automated reasoning
Citation: H.zhang,m.stickel, Implementig the Davis-Putnam Method, Journal of automated reasoning , 24(1/2), 2000, pp. 277-296
Authors:
R.Caferra,N.Peltier
Journal: Journal of automated reasoning
Citation: R.caferra,n.peltier, A New Technique for Verifyng and Correcting Logic Programs, Journal of automated reasoning , 19(3), 1997, pp. 277-318
Authors:
D.Kapur,D.Wang
Journal: Journal of automated reasoning
Citation: D.kapur,d.wang, Preface, Journal of automated reasoning , 21(3), 1998, pp. 277-278
Authors:
J.Harrison,L.Thery
Journal: Journal of automated reasoning
Citation: J.harrison,l.thery, A Skeptic's Approach to Combining HOL and Maple, Journal of automated reasoning , 21(3), 1998, pp. 279-294
Authors:
L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Searching for Circles of Pure Proofs, Journal of automated reasoning , 15(3), 1995, pp. 279-315
Authors:
K.Hodgson
Journal: Journal of automated reasoning
Citation: K.hodgson, Shortest Single Axioms for the equivalential Calculus with CD and RCD, Journal of automated reasoning , 20(3), 1998, pp. 283-316
Authors:
O.Astrachan
Journal: Journal of automated reasoning
Citation: O.astrachan, Automated Reasoning With Analytic Tableaux: METEROR: Exploring Model Elimination Theorem Proving, Journal of automated reasoning , 13(3), 1994, pp. 283-296
Authors:
L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Basic Researc Problems: The problem of Selecting an Approach Based on Prior Success, Journal of automated reasoning , 10(2), 1993, pp. 283-286
Authors:
L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, The Kernel Strategy and Its Use for the Study of Combinatory Logic, Journal of automated reasoning , 10(3), 1993, pp. 287-344
Authors:
L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, Basic Research Problems: The Problem of Demodulator Adjunction, Journal of automated reasoning , 9(2), 1992, pp. 289-290
Authors:
A.P.Sistla,C.Yu
Journal: Journal of automated reasoning
Citation: A.p.sistla,c.yu, Reasoning About Qualitative Spatial Relationships, Journal of automated reasoning , 25(4), 2000, pp. 291-328