An Overview of Mechanical Theorem Proving-Reference-Cited by-同舟云学术

An Overview of Mechanical Theorem Proving

Published:1970 Issue: Volume: Page:2-20
ISSN:
Container-title:Theoretical Approaches to Non-Numerical Problem Solving
language:
Short-container-title:

Author:

Robinson J. A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-99976-5_1.pdf

Reference92 articles.

1. Andrews, P.B. Resolution with merging. Journal of the Association for Computing Machinery, volume 15 (1968) pp. 367–381

2. Andrews, P.B. On simplifying the matrix of a wff. Journal of Symbolic Logic, volume 33 (1968), pp. 180–192

3. Backer, P., and Sayre, D. The reduced model for satisfiability for two decidable classes of formulae in the predicate calculus. IBM Research Report RC 1083, 1963

4. Beth, E.W. Observations concerning computing, deduction and heuristics. Computer Programming and Formal Systems, (edited by P. Braffort and D. Hirshberg] North Holland, 1963, pp. 21–32

5. Buchi, J.R. Turing machines and the entscheidungs-problem. Mathematische Annalen, volume 148 (1958) pp. 201–213

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Evidence Algorithm and Inference Search in First-Order Logics;Journal of Automated Reasoning;2015-09-10

2. Inference with path resolution and semantic graphs;Journal of the ACM;1987-04

3. Theory links in semantic graphs;8th International Conference on Automated Deduction;1986

4. On deleting links in semantic graphs;Algebraic Algorithms and Error-Correcting Codes;1986

5. Path resolution and semantic graphs;EUROCAL '85;1985