Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Sale price
$40.49
Regular price $44.99
Skip to product information
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Sale price
$40.49
Regular price $44.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence
Intelligent Computer Mathematics
9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Michael Kohlhase | Moa Johansson | Bruce Miller | Leonardo de Moura | Frank Tompa
Computers / Artificial Intelligence / General
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 selected
from 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.
| Publication Date: | 12 July 2016 |
| Publisher: | Springer International Publishing |
| Imprint: | Springer |
| ISBN-13: | 9783319425467 |
| Format: | Paperback softback |
| Page Count: | 163 |