Výpis publikací

2008

1. Automated Classification and Categorization of Mathematical Knowledge

   ŘEHŮŘEK, Radim a 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, s. 543-557. ISBN 978-3-540--85109-7.

   Podrobněji: https://is.muni.cz/publication/773672/cs