- Author
- Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (eds.)
- Publisher
- Springer International Publishing
- Language
- English
- Edition
- 1
- Year
- 2016
- Page
- XIV, 163
- ISBN
- 978-3-319-42546-7, 978-3-319-42547-4
- File Type
- File Size
- 7.4 MiB
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.
How to Download?!!!
Just click on START button on Telegram Bot