Author:
Meng Jia,Paulson Lawrence C.
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Ahrendt, W., Beckert, B., Hähnle, R., Menzel, W., Reif, W., Schellhorn, G., Schmitt, P.H.: Integrating automated and interactive theorem proving. In: Bibel, W., Schmitt, P.H. (eds.) Automated Deduction— A Basis for Applications, Systems and Implementation Techniques, vol. II, pp. 97–116. Kluwer Academic Publishers, Dordrecht (1998)
2. Bezem, M., Hendriks, D., de Nivelle, H.: Automatic proof construction in type theory using resolution. Journal of Automated Reasoning 29(3-4), 253–275 (2002)
3. Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, London (1973)
4. Gordon, M.J.C., Melham, T.F.: Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. Cambridge University Press, Cambridge (1993)
5. Lecture Notes in Computer Science;J. Hurd,1999
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献