Author:
Farmer William M.,Guttman Joshua D.,Thayer F. Javier
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference50 articles.
1. Andrews, P. B.,An Introduction to Mathematical Logic and Type Theory: To Truth through Proof. Academic Press, 1986.
2. Andrews, P. B., Issar, S., Nesmith, D. and Pfennig, F., ?The TPS theorem proving system (system abstract)?, in M. E. Stickel (ed.),10th International Conference on Automated Deduction, Vol. 449 ofLecture Notes in Computer Science, pp. 641?642. Springer-Verlag, 1990.
3. Bledsoe, W. W., ?Some automatic proofs in analysis?, inAutomated Theorem Proving: After 25 Years, pp. 89?118'. American Mathematical Society, 1984.
4. Boolos, G. S., ?On second-order logic?,J. Philosophy 72 509?527 (1975).
5. Boyer, R. S. and Moore, J. Strother, ?Integrating decision procedures into heuristic theorem provers: A case study of linear arithmetic?, Technical Report ICSCA-CMP-44, Institute for Computing Science, University of Texas at Austin, January 1985.
Cited by
89 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献