Author:
Andrews Peter B.,Pfenning Frank,Issar Sunil,Klapper C. P.
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Peter B. Andrews, Theorem Proving via General Matings, Journal of the Association for Computing Machinery 28 (1981), 193–214.
2. Peter B. Andrews, Dale A. Miller, Eve Longini Cohen, Frank Pfenning, "Automating Higher-Order Logic," in Automated Theorem Proving: After 25 Years, edited by W. W. Bledsoe and D. W. Loveland, Contemporary Mathematics series, vol. 29, American Mathematical Society, 1984, 169–192.
3. Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. Edinburgh LCF, Lecture Notes in Computer Science 78, Springer Verlag, 1979.
4. Gérard P. Huet, "A Mechanization of Type Theory," in Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI, 1973, 139–146.
5. Dale A. Miller, Eve Longini Cohen, Peter B. Andrews, "A Look at TPS," in 6th Conference on Automated Deduction, New York, edited by Donald W. Loveland, Lecture Notes in Computer Science 138, Springer-Verlag, June 1982, 50–69.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献