MBase: Representing knowledge and context for the integration of mathematical software systems

Kohlhase M (2001)


Publication Status: Published

Publication Type: Journal article, Original article

Publication year: 2001

Journal

Publisher: Academic Press

Book Volume: 32

Pages Range: 365-402

Journal Issue: 4

DOI: 10.1006/jsco.2000.0468

Authors with CRIS profile

How to cite

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