System description: MBASE, an open mathematical knowledge base

Franke A, Kohlhase M (2000)

Publication Status: Published

Publication Type: Conference contribution, Conference Contribution

Publication year: 2000

Publisher: Springer Verlag

Book Volume: 1831

Pages Range: 455-459

ISBN: 9783540676645

URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-84937429345&origin=inward

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung

How to cite

APA:

Franke, A., & Kohlhase, M. (2000). System description: MBASE, an open mathematical knowledge base. In Proceedings of the 17th International Conference on Automated Deduction, CADE 2000 (pp. 455-459). Springer Verlag.

MLA:

Franke, Andreas, and Michael Kohlhase. "System description: MBASE, an open mathematical knowledge base." Proceedings of the 17th International Conference on Automated Deduction, CADE 2000 Springer Verlag, 2000. 455-459.

BibTeX: Download