Publisher
Springer Science and Business Media LLC
Subject
Computational Mathematics,Computational Theory and Mathematics,Computer Science Applications,Numerical Analysis,Theoretical Computer Science,Software
Reference8 articles.
1. Bibel, W.: Schnittelimination in einem Teilsystem der einfachen Typenlogik. Archiv f. Math. Logik12, 159–178 (1969).
2. Ernst, G. W.: The utility of independent subgoals in theorem proving. Inform. and Contr.18, 237–252 (1971).
3. Prawitz, D.: An improved proof procedure. Theoria26, 102–139 (1960).
4. Lect. notes in Mathem.;D. Prawitz,1970
5. Robinson, J. A.: A review of automatic theorem-proving. Proc. Symp. Appl. Math., Amer. Math. Soc.19, 1966.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reminiscences of Kurt Schütte;The Legacy of Kurt Schütte;2020
2. From Schütte’s Formal Systems to Modern Automated Deduction;The Legacy of Kurt Schütte;2020
3. A Vision for Automated Deduction Rooted in the Connection Method;Lecture Notes in Computer Science;2017
4. Advances in Connection-Based Automated Theorem Proving;NASA Monographs in Systems and Software Engineering;2017
5. Conflict nets;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05