Kohlhase M, Müller C, Rabe F (2008)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2008
Pages Range: 504-519
Event location: Birmingham
ISBN: 9783540851097
DOI: 10.1007/978-3-540-85110-3_41
APA:
Kohlhase, M., Müller, C., & Rabe, F. (2008). Notations for living mathematical documents. In Proceedings of the 9th Int. Conf. Artificial Intelligence and Symbolic Computation, AISC 2008 - 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008 - 7th Int. Conf. Mathematical Knowledge Management, MKM 2008 (pp. 504-519). Birmingham.
MLA:
Kohlhase, Michael, Christine Müller, and Florian Rabe. "Notations for living mathematical documents." Proceedings of the 9th Int. Conf. Artificial Intelligence and Symbolic Computation, AISC 2008 - 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008 - 7th Int. Conf. Mathematical Knowledge Management, MKM 2008, Birmingham 2008. 504-519.
BibTeX: Download