Search: Critical Agents Supporting Interactive Theorem Proving
1999
[1]Critical Agents Supporting Interactive Theorem Proving (Christoph Benzmüller, Volker Sorge), In Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings (Pedro Borahona, Jose J. Alferes, eds.), Springer, LNCS, number 1695, pp. 208-221, 1999. (slides) (Url (preprint): http://christoph-benzmueller.de/papers/C6.pdf) [bibtex] [doi]
Powered by bibtexbrowser