TY  - BOOK
AU  - Kohlhase,Michael
AU  - Johansson,Moa
AU  - Miller,Bruce
AU  - de Moura,Leonardo
AU  - Tompa,Frank
ED  - SpringerLink (Online service)
TI  - Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings 
T2  - Lecture Notes in Artificial Intelligence
SN  - 9783319425474
AV  - Q334-342 
U1  - 006.3 23
PY  - 2016///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Artificial intelligence
KW  - Mathematical logic
KW  - Computer logic
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer simulation
KW  - Artificial Intelligence
KW  - Mathematical Logic and Formal Languages
KW  - Logics and Meanings of Programs
KW  - Software Engineering
KW  - Programming Languages, Compilers, Interpreters
KW  - Simulation and Modeling
N2  - 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
UR  - https://doi.org/10.1007/978-3-319-42547-4
ER  -