Other formats:
BibTeX
LaTeX
RIS
@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} }
TY - JOUR ID - 980565 AU - Jeuring, Johan - Campbell, John A. - Dos Reis, Gabriel - Sojka, Petr - Wenzel, Makarius - Sorge, Volker PY - 2012 TI - 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 PB - Springer CY - Bremen SN - 9783642313738 KW - mathematics knowledge management KW - Intelligent Computer Mathematics KW - DML KW - MKM KW - AISC KW - Calculemus UR - http://www.informatik.uni-bremen.de/cicm2012/cicm.php L2 - http://www.informatik.uni-bremen.de/cicm2012/cicm.php N2 - 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. ER -
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 \textit{LNCS/LNAI Volume 7362}. první. Bremen: Springer, 2012. ISBN~978-3-642-31373-8.
|