External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Critical Agents Supporting Interactive Theorem Proving

Christoph Benzmüller, Volker Sorge. Critical Agents Supporting Interactive Theorem Proving. In Pedro Barahona, José Júlio Alferes, editors, Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA 99, Évora, Portugal, September 21-24, 1999, Proceedings. Volume 1695 of Lecture Notes in Computer Science, pages 208-221, Springer, 1999.

Abstract

Abstract is missing.

runs on