Kohlhase M, Sucan I (2006)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2006
Publisher: Springer Verlag
Pages Range: 241-253
Event location: Beijing
ISBN: 9783540397281
URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-33749635061&origin=inward
APA:
Kohlhase, M., & Sucan, I. (2006). A search engine for mathematical formulae. In Proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006 (pp. 241-253). Beijing: Springer Verlag.
MLA:
Kohlhase, Michael, and Ioan Sucan. "A search engine for mathematical formulae." Proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, Beijing Springer Verlag, 2006. 241-253.
BibTeX: Download