Author:
Andrews Peter B.,Bishop Matthew,Brown Chad E.
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Andrews, P.B.: Theorem Proving via General Matings. Journal of the ACM 28, 193–214 (1981)
2. Andrews, P.B.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Academic Press, London (1986)
3. Andrews, P.B., Bishop, M., Issar, S., Nesmith, D., Pfenning, F., Xi, H.: TPS: A Theorem Proving System for Classical Type Theory. Journal of Automated Reasoning 16, 321–353 (1996)
4. Bibel, W.: Automated Theorem Proving, 2nd edn. Vieweg, Braunschweig (1987)
5. Lecture Notes in Artificial Intelligence;M. Bishop,1999
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献