Kohlhase M (2001)
Publication Status: Published
Publication Type: Journal article, Original article
Publication year: 2001
Publisher: Academic Press
Book Volume: 32
Pages Range: 365-402
Journal Issue: 4
APA:
Kohlhase, M. (2001). MBase: Representing knowledge and context for the integration of mathematical software systems. Journal of Symbolic Computation, 32(4), 365-402. https://doi.org/10.1006/jsco.2000.0468
MLA:
Kohlhase, Michael. "MBase: Representing knowledge and context for the integration of mathematical software systems." Journal of Symbolic Computation 32.4 (2001): 365-402.
BibTeX: Download