MBase: Representing mathematical knowledge in a relational data base

Kohlhase M, Franke A (1999)

Publication Status: Published

Publication Type: Journal article, Original article

Publication year: 1999

Journal

Electronic Notes in Theoretical Computer Science Elsevier BV

Book Volume: 23

Pages Range: 451-468

Event location: Trento

Journal Issue: 3

DOI: 10.1016/S1571-0661(05)80615-2

Authors with CRIS profile

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

How to cite

APA:

Kohlhase, M., & Franke, A. (1999). MBase: Representing mathematical knowledge in a relational data base. Electronic Notes in Theoretical Computer Science, 23(3), 451-468. https://doi.org/10.1016/S1571-0661(05)80615-2

MLA:

Kohlhase, Michael, and Andreas Franke. "MBase: Representing mathematical knowledge in a relational data base." Electronic Notes in Theoretical Computer Science 23.3 (1999): 451-468.

BibTeX: Download