Masaryk University

Publication Records

česky | in English

Filter publications

    2008

    1. Automated Classification and Categorization of Mathematical Knowledge
      Ř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. ISBN 978-3-540--85109-7.
      More: https://is.muni.cz/publication/773672/en
Display details
Displayed: 5/5/2024 12:58