Kohlhase M (2012)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2012
Pages Range: 448-452
Event location: Bremen
ISBN: 9783642313738
DOI: 10.1007/978-3-642-31374-5_34
APA:
Kohlhase, M. (2012). The Planetary project: Towards eMath3.0. In Proceedings of the Int. Conf. on Artificial Intelligence and Symbolic Computation, AISC 2012, Symp. on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, DML 2012, Conf. on Mathematical Knowledge Management, MKM 2012, Part of CICM 2012 (pp. 448-452). Bremen.
MLA:
Kohlhase, Michael. "The Planetary project: Towards eMath3.0." Proceedings of the Int. Conf. on Artificial Intelligence and Symbolic Computation, AISC 2012, Symp. on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, DML 2012, Conf. on Mathematical Knowledge Management, MKM 2012, Part of CICM 2012, Bremen 2012. 448-452.
BibTeX: Download