Home Publications Research Grants Inventions & Patents Awards Additional Research Activities Faculties & Institutions Research Areas

System description: MathWeb, an agent-based communication layer for distributed automated theorem proving

Franke A, Kohlhase M (1999)

---

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 1999

Publisher: Springer Verlag

Book Volume: 1632

Pages Range: 217-221

ISBN: 9783540662228

DOI: 10.1007/3-540-48660-7_17

Authors with CRIS profile

How to cite

APA:

Franke, A., & Kohlhase, M. (1999). System description: MathWeb, an agent-based communication layer for distributed automated theorem proving. In Proceedings of the 16th International Conference on Automated Deduction, CADE 1999 (pp. 217-221). Springer Verlag.

MLA:

Franke, Andreas, and Michael Kohlhase. "System description: MathWeb, an agent-based communication layer for distributed automated theorem proving." Proceedings of the 16th International Conference on Automated Deduction, CADE 1999 Springer Verlag, 1999. 217-221.

BibTeX: Download