Intelligent computer mathematics: cicm 2014 joint events: calculemus, dml, mkm, and systems and projects 2014, coimbra, portugal, july 7-11, 2014. proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319084336
Date de publication :
28 juil. 2014
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics.