Author:
Benzmüller Christoph,Kerber Manfred,Jamnik Mateja,Sorge Volker
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Lect Notes Comput Sci;J. Avenhaus,1995
2. P. Andrews. General models, descriptions and choice in type theory. Journal of Symbolic Logic, 37(2):385–394, 1972.
3. A. Armando and D. Zini. nterfacing computer algebra and deduction systems via the logic broker architecture. In [CAL01].
4. C. Benzmüller et al. Omega: Towards a mathematical assistant. In Proc. of CADE-14, LNAI 1249. Springer, 1997.
5. C. Benzmüller, M. Jamnik, M. Kerber, and V. Sorge. Agent Based Mathematical Reasoning. In CALCULEMUS-99, Systems for Integrated Computation and Deduction, volume 23 (3) of ENTCS. Elsevier, 1999.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献