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.
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● ISBN 9783319425474 ● Editor Moa Johansson & Michael Kohlhase ● Editora Springer International Publishing ● Publicado 2016 ● Carregável 3 vezes ● Moeda EUR ● ID 6303928 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM