Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference13 articles.
1. Farmer, W. M., Guttman, J. D. and Thayer, F. J.: IMPS: An interactive mathematical proof system, J. Automated Reasoning 11(2) (1993), 213?248.
2. Fleuriot, J. D. and Paulson, L. C.: Mechanizing nonstandard real analysis, LMS J. Comput. Math. 3 (2000), 140?190, http://www.lms.ac.uk/jcm/3/lms1999-027/.
3. Geuvers, H., Pollack, R., Wiedijk, F. and Zwanenburg, J.: A constructive algebraic hierarchy in Coq, J. Symbolic Comput. 34(4) (2002), 271?286.
4. Gordon, M. J. C. and Melham, T. F.: Introduction to HOL: A Theorem Proving Environment for Higher Order Logic, Cambridge University Press, 1993.
5. Hudak, P.: The Haskell School of Expression, Cambridge University Press, 2000.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献