Masaryk University

Publication Records

česky | in English

Filter publications

    2008

  1. ŘEHŮŘEK, Radim and Petr SOJKA. Automated Classification and Categorization of Mathematical Knowledge. In Intelligent Computer Mathematics: AISC/Calculemus/MKM LNAI 5144. první. Berlin, Heidelberg, New York: Springer-Verlag, 2008. p. 543-557, 15 pp. ISBN 978-3-540--85109-7.
Display details
Displayed: 2. 4. 2020 06:04