Author:
Meng Jia,Paulson Lawrence C.
Subject
Applied Mathematics,Logic
Reference25 articles.
1. Integrating automated and interactive theorem proving;Ahrendt,1998
2. J. Avigad, K. Donnelly, Formalizing O notation in Isabelle/HOL, in: Basin and Rusinowitch [4], pp. 357–371
3. L. Bachmair, H. Ganzinger, Resolution theorem proving, in: Robinson and Voronkov [18], pp. 19–99, Chapter 2
4. Automated Reasoning—Second International Joint Conference, IJCAR 2004,2004
5. Automatic proof construction in type theory using resolution;Bezem;Journal of Automated Reasoning,2002
Cited by
61 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献