Critical Agents Supporting Interactive Theorem Proving-Reference-Cited by-同舟云学术

Critical Agents Supporting Interactive Theorem Proving

Published:1999 Issue: Volume: Page:208-221
ISSN:0302-9743
Container-title:Progress in Artificial Intelligence
language:
Short-container-title:

Author:

Benzmüller Christoph,Sorge Volker

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48159-1_15

Reference21 articles.

1. P.B. Andrews. An Introduction To Mathematical Logic and Type Theory: To Truth Through Proof. Academic Press, San Diego, CA, USA, 1986.

2. P.B. Andrews, M. Bishop, S. Issar, D. Nesmith, F. Pfenning, and H. Xi. Tps: A Theorem Proving System for Classical Type Theory. Journal of Automated Reasoning, 16(3):321–353, 1996.

3. 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. In W. McCune, editor, Proceedings of the 14th Conference on Automated Deduction (CADE-14), LNAI, Townsville, Australia, 1997. Springer Verlag, Berlin, Germany.

4. LNAI;C. Benzmüller,1998

5. LNAI;C. Benzmüller,1998

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bridging Theorem Proving and Mathematical Knowledge Retrieval;Lecture Notes in Computer Science;2005

2. Ωmega: Computer Supported Mathematics;KI 2004: Advances in Artificial Intelligence;2004

3. Indefinite Integration as a Testbed for Developments in Multi-agent Systems;Lecture Notes in Computer Science;2002

4. Experiments with an Agent-Oriented Reasoning System;KI 2001: Advances in Artificial Intelligence;2001