Zimmer J, Kohlhase M (2002)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2002
Publisher: Springer Verlag
Book Volume: 2392
Pages Range: 139-143
ISBN: 9783540439318
URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-84948958841&origin=inward
APA:
Zimmer, J., & Kohlhase, M. (2002). System description: The mathweb software bus for distributed mathematical reasoning. In Proceedings of the 18th International Conference on Automated Deduction, CADE 2002 (pp. 139-143). Springer Verlag.
MLA:
Zimmer, Jürgen, and Michael Kohlhase. "System description: The mathweb software bus for distributed mathematical reasoning." Proceedings of the 18th International Conference on Automated Deduction, CADE 2002 Springer Verlag, 2002. 139-143.
BibTeX: Download