Author:
Franke Andreas,Kohlhase Michael
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, and Hongwei Xi. TPS: A theorem proving system for classical type theory. Journal of Automated Reasoning, 16(3):321–353, 1996.
2. C. Benzmüller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, X. Huang, M. Kerber, M. Kohlhase, K. Konrad, E. Melis, A. Meier, W. Schaarschmidt, J. Siekmann, and V. Sorge. mega: Towards a mathematical assistant. InWilliam McCune, editor, Proceedings of the 14th Conference on Automated Deduction, number 1249 in LNAI, pages 252–255, Townsville, Australia, 1997. Springer Verlag.
3. Christoph Benzmüller and Michael Kohlhase. LEO-a higher order theorem prover. In Claude Kirchner and Hél*#x00E8;ne Kirchner, editors, Proceedings of the 15th Conference on Automated Deduction, number 1421 in LNAI, pages 139–144, Lindau, Germany, 1998. Springer Verlag.
4. The open math standard. Open Math Consortium, http://www.openmath.org , 1998.
5. T. Finin and R. Fritzson. KQML — a language and protocol for knowledge and information exchange. In Proceedings of the 13th Intl. Distributed Artificial Intelligence Workshop, pages 127–136, Seattle, WA, USA, 1994.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献