Author:
Letz R.,Mayr K.,Goller C.
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference26 articles.
1. Astrachan, O. W. and Loveland, D. W.: METEORs: High performance theorem provers using model elimination, in R. S. Boyer (ed.),Automated Reasoning: Essays in Honour of Woody Bledsoe, Kluwer Academic Publishers, 1991.
2. Astrachan, O. W. and Stickel, M. E.: Caching and lemmaizing in model elimination theorem provers,Proc. 11th Conference on Automated Deduction (CADE-11), Saratoga Springs, Lecture Notes in AI 607, Springer, 1992, pp. 224?238.
3. Beth, E. W.:The Foundations of Mathematics, North-Holland, Amsterdam, 1959.
4. Beth, E. W.: Semantic entailment and formal derivability,Mededlingen der Koninklijke Nederlandse Akademie van Wetenschappen 18(13) (1955), 309?342.
5. Bibel, W.:Automated Theorem Proving, 2nd edn, Vieweg Verlag, Braunschweig, 1987.
Cited by
122 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献