This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.
Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !
Langue Anglais ● Format PDF ● ISBN 9783319425474 ● Éditeur Moa Johansson & Michael Kohlhase ● Maison d’édition Springer International Publishing ● Publié 2016 ● Téléchargeable 3 fois ● Devise EUR ● ID 6303928 ● Protection contre la copie Adobe DRM
Nécessite un lecteur de livre électronique compatible DRM