Normann I, Kohlhase M (2007)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2007
Pages Range: 356-370
Event location: Hagenberg
ISBN: 9783540730835
URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-38049028250&origin=inward
APA:
Normann, I., & Kohlhase, M. (2007). Extended formula normalization for e-retrieval and sharing of mathematical knowledge. In Proceedings of the 14th Symposium on Calculemus 2007 and 6th International Conference on Mathematical Knowledge Management, MKM 2007 (pp. 356-370). Hagenberg.
MLA:
Normann, Immanuel, and Michael Kohlhase. "Extended formula normalization for e-retrieval and sharing of mathematical knowledge." Proceedings of the 14th Symposium on Calculemus 2007 and 6th International Conference on Mathematical Knowledge Management, MKM 2007, Hagenberg 2007. 356-370.
BibTeX: Download