Information System of Masaryk University 

Intelligent Computer Mathematics -- 11th International Conference, AISC 2012, 19th Symposium, ...

česky | in English

JEURING, Johan, John A. CAMPBELL, Gabriel DOS REIS, Petr SOJKA, Makarius WENZEL and Volker SORGE. 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. In LNCS/LNAI Volume 7362. první. Bremen: Springer, 2012. ISBN 978-3-642-31373-8.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name 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 (528 Netherlands), John A. CAMPBELL (826 United Kingdom), Gabriel DOS REIS (840 United States of America), Petr SOJKA (203 Czech Republic, guarantor, belonging to the institution), Makarius WENZEL (276 Germany) and Volker SORGE (276 Germany).
Edition první. Bremen, LNCS/LNAI Volume 7362, 2012.
Publisher Springer
Other information
Original language English
Type of outcome Editing of thematic compilation, editing of monothematic issue of professional journal
Field of Study General mathematics
Country of publisher Germany
Confidentiality degree is not subject to a state or trade secret
WWW webová stránka konference
RIV identification code RIV/00216224:14330/12:00059796
Organization unit Faculty of Informatics
ISBN 978-3-642-31373-8
Keywords (in Czech) znalostní management matematiky; inteligentní počítačová matematika; DML; MKM; AISC; Calculemus
Keywords in English mathematics knowledge management; Intelligent Computer Mathematics; DML; MKM; AISC; Calculemus
Changed by Changed by: doc. RNDr. Petr Sojka, Ph.D., učo 2378. Changed: 28. 5. 2012 11:51.
Abstract
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.
Links
LA09016, research and development projectName: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (Acronym: ERCIM)
Investor: Ministry of Education, Youth and Sports of the CR, INGO
250503, internal MU codeName: The European Digital Mathematics Library (Acronym: EuDML)
Investor: European Union, Competitiveness and inovation framework programme
PrintDisplayed: 22. 9. 2017 20:54

Other references 


Go to top | Current date and time: 22. 9. 2017 20:54, Week 38 (even)

Contact: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, Office for Studies, access rights administrators, is-technicians, e-technicians, IT support | Use of cookies | learn more about Information System