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

• 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
• 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