Publication details

 

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

Basic information
Original title: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:Johan Jeuring, John A. Campbell, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (Eds.)
Further information
Citation:JEURING, Johan, John A. CAMPBELL, Gabriel DOS REIS, Petr SOJKA, Makarius WENZEL a 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.Export BibTeX
@misc{980565,
author = {Jeuring, Johan and Campbell, John A. and Dos Reis, Gabriel and Sojka, Petr and Wenzel, Makarius and Sorge, Volker},
address = {Bremen},
booktitle = {LNCS/LNAI Volume 7362},
edition = {první},
keywords = {mathematics knowledge management; Intelligent Computer Mathematics; DML; MKM; AISC; Calculemus},
language = {eng},
location = {Bremen},
isbn = {978-3-642-31373-8},
publisher = {Springer},
title = {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},
url = {http://www.informatik.uni-bremen.de/cicm2012/cicm.php},
year = {2012}
}
Original language:English
Field:General mathematics
WWW:link to a new windowwebová stránka konference
Type:Editorství tématického sborníku
Keywords:mathematics knowledge management; Intelligent Computer Mathematics; DML; MKM; AISC; Calculemus

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: