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

Jeuring, Johan; Campbell, John A.; Dos Reis, Gabriel; Sojka,  Petr; Wenzel, Makarius; Sorge, Volker

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

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	JEURING Johan CAMPBELL John A. DOS REIS Gabriel SOJKA Petr WENZEL Makarius SORGE Volker
Year of publication	2012
MU Faculty or unit	Faculty of Informatics
Citation
Description	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.
Related projects:	Czech Republic membership in the European Research Consortium for Informatics and Mathematics The European Digital Mathematics Library