Lawrence Wos, George A. Robinson, and Daniel F. Carson. Efficiency and completeness of the set of support strategy in theorem proving. Journal of the Association for Computing Machinery, vol. 12 (1965), pp. 536–541.

David Luckham

doi:10.2307/2271268

Lawrence Wos, George A. Robinson, and Daniel F. Carson. Efficiency and completeness of the set of support strategy in theorem proving. Journal of the Association for Computing Machinery, vol. 12 (1965), pp. 536–541.

Journal of Symbolic Logic ◽

10.2307/2271268 ◽

1967 ◽

Vol 32 (1) ◽

pp. 117-118

Author(s):

David Luckham

Keyword(s):

Theorem Proving ◽

Computing Machinery ◽

Support Strategy

Download Full-text

J. A. Robinson. Theorem-proving on the computer. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 163–174.

Journal of Symbolic Logic ◽

10.2307/2270499 ◽

1966 ◽

Vol 31 (3) ◽

pp. 514-515

Author(s):

David Luckham

Keyword(s):

Theorem Proving ◽

Computing Machinery ◽

Computer Journal

Download Full-text

Efficiency and Completeness of the Set of Support Strategy in Theorem Proving

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions ◽

10.1142/9789812813411_0003 ◽

2010 ◽

pp. 29-36

Author(s):

LAWRENCE WOS ◽

GEORGE A. ROBINSON ◽

DANIEL F. CARSON

Keyword(s):

Theorem Proving ◽

Support Strategy

Download Full-text

James R. Slagle. Automatic theorem proving with renamable and semantic resolution. Journal of the Association for Computing Machinery, vol. 14 (1967), pp. 687–697.

Journal of Symbolic Logic ◽

10.2307/2271495 ◽

1970 ◽

Vol 35 (4) ◽

pp. 595-596

Author(s):

Lawrence T. Wos

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Computing Machinery ◽

Semantic Resolution ◽

Automatic Theorem

Download Full-text

Efficiency and Completeness of the Set of Support Strategy in Theorem Proving

Automation of Reasoning ◽

10.1007/978-3-642-81952-0_29 ◽

1965 ◽

pp. 484-489 ◽

Cited By ~ 3

Author(s):

L. T. Wos ◽

G. A. Robinson ◽

D. F. Carson

Keyword(s):

Theorem Proving ◽

Support Strategy

Download Full-text

Efficiency and Completeness of the Set of Support Strategy in Theorem Proving

Journal of the ACM ◽

10.1145/321296.321302 ◽

1965 ◽

Vol 12 (4) ◽

pp. 536-541 ◽

Cited By ~ 182

Author(s):

Lawrence Wos ◽

George A. Robinson ◽

Daniel F. Carson

Keyword(s):

Theorem Proving ◽

Support Strategy

Download Full-text

James R. Slagle and Philip Bursky. Experiments with a multipurpose, theorem-proving heuristic program. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 85–99.

Journal of Symbolic Logic ◽

10.2307/2271497 ◽

1970 ◽

Vol 35 (4) ◽

pp. 596-596

Author(s):

David C. Cooper

Keyword(s):

Theorem Proving ◽

Computing Machinery

Download Full-text

ON THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM

Acta Mathematica Scientia ◽

10.1016/s0252-9602(18)30579-4 ◽

1982 ◽

Vol 2 (4) ◽

pp. 459-464

Author(s):

Xianchang Zeng

Keyword(s):

Theorem Proving

Download Full-text

Logic Control via Automatic Theorem Proving: COCOLOG Fragments Implemented in Blitzensturm 5.0

1993 American Control Conference ◽

10.23919/acc.1993.4793060 ◽

1993 ◽

Cited By ~ 1

Author(s):

P.E. Caines ◽

T. Mackling ◽

Y.J. Wei

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Logic Control ◽

Automatic Theorem

Download Full-text

Life Support Strategy and the problem of neolithisation in North-Western Black Sea area steppes

SUBSISTENCE STRATEGIES IN THE STONE AGE, DIRECT AND INDIRECT EVIDENCE OF FISHING AND GATHERING ◽

10.31600/978-5-907053-00-7-2018-66-68 ◽

2018 ◽

Author(s):

Igor Pistruil ◽

Keyword(s):

Black Sea ◽

Life Support ◽

Support Strategy ◽

Sea Area ◽

North Western

Download Full-text

Modal Theorem Proving,

10.21236/ada325959 ◽

1986 ◽

Cited By ~ 10

Author(s):

Martin Abadi ◽

Zohar Manna

Keyword(s):

Theorem Proving

Download Full-text