Intelligent Computer Mathematics -- 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	JEURING Johan CAMPBELL John A. DOS REIS Gabriel SOJKA Petr WENZEL Makarius SORGE Volker
Rok publikování	2012
Druh	Editorství tématického sborníku
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	Proceedings of Conference on Intelligent Computer Mathematics (CICM) consists of papers for DML, MKM, AISC, Calculemus and Systems and Project tracks. Contains 38 reviewed accepted papers and published in LNCS Springer series.
Související projekty:	Účast ČR v European Research Consortium for Informatics and Mathematics The European Digital Mathematics Library