Towards MKM in the large: Modular representation and scalable software architecture

Kohlhase M, Rabe F, Zholudev V (2010)


Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2010

Pages Range: 370-384

Event location: Paris

ISBN: 9783642141270

DOI: 10.1007/978-3-642-14128-7_32

Authors with CRIS profile

How to cite

APA:

Kohlhase, M., Rabe, F., & Zholudev, V. (2010). Towards MKM in the large: Modular representation and scalable software architecture. In Proceedings of the 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010 (pp. 370-384). Paris.

MLA:

Kohlhase, Michael, Florian Rabe, and Vyacheslav Zholudev. "Towards MKM in the large: Modular representation and scalable software architecture." Proceedings of the 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris 2010. 370-384.

BibTeX: Download