Publisher
Springer Science and Business Media LLC
Subject
Computational Mathematics,Computational Theory and Mathematics,Computer Science Applications,Numerical Analysis,Theoretical Computer Science,Software
Reference24 articles.
1. Church, A.: Introduction to Mathematical Logic. Vol. I., Princeton. 1956.
2. Cooper, D. C.: Theorem proving in computers. Advances in Programming and Nonnumerical Computation (L. Fox, Ed.), 155–182. Oxford. 1966.
3. Darlington, J. L.: Some theorem-proving strategies based on the resolution principle (Manuskript). Bonn. 1966.
4. Davis, M.: Eliminating the irrelevant from mechanical proofs. Experimental Arithmetic, High Speed Computing and Mathematics (Proc. Symp. Appl. Math., Vol. XV), 15–30. A. M. S. 1963.
5. Davis, M. andH. Putnam: A computing method for quantification theory. Journ. A. C. M.7, 201–215 (1960).
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Set of Support, Demodulation, Paramodulation: A Historical Perspective;Journal of Automated Reasoning;2022-05-24
2. Larry Wos: Visions of Automated Reasoning;Journal of Automated Reasoning;2022-02-28
3. What Is Essential Unification?;Outstanding Contributions to Logic;2016
4. Automated Theorem Proving 1965–1970;Automation of Reasoning;1983
5. Deduktionsverfahren;Künstliche Intelligenz;1982