Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Wolfram Menzel, Wolfgang Reif, Gerhard Schellhorn, and Peter H. Schmitt. Integration of automated and interactive theorem proving. In W. Bibel and P. Schmitt, editors, Automated Deduction: A Basis for Applications, volume II, chapter 4, pages 97–116. Kluwer, 1998.
2. Lect Notes Comput Sci;H. Busch,1994
3. M. J. C. Gordon and T. F. Melham. Introduction to HOL (A theorem-proving environment for higher order logic). Cambridge University Press, 1993.
4. Lect Notes Comput Sci;J. Harrison,1996
5. J. Harrison. The HOL-Light Manual (1.0), May 1998. Available from http://www.cl.cam.ac.uk/users/jrh/hol-light/ .
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Extending Sledgehammer with SMT Solvers;Journal of Automated Reasoning;2013-03-05
2. The HOL Light Theory of Euclidean Space;Journal of Automated Reasoning;2012-04-19
3. More SPASS with Isabelle;Interactive Theorem Proving;2012
4. Superposition as a logical glue;Electronic Proceedings in Theoretical Computer Science;2011-03-16
5. Extending Sledgehammer with SMT Solvers;Lecture Notes in Computer Science;2011