TY  - BOOK
AU  - Kerber,Manfred
AU  - Carette,Jacques
AU  - Kaliszyk,Cezary
AU  - Rabe,Florian
AU  - Sorge,Volker
ED  - SpringerLink (Online service)
TI  - Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. 
T2  - Lecture Notes in Artificial Intelligence
SN  - 9783319206158
AV  - QA76.9.M35 
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer science
KW  - Artificial intelligence
KW  - Algebra
KW  - Data processing
KW  - Natural language processing (Computer science)
KW  - Information storage and retrieva
KW  - Math Applications in Computer Science
KW  - Artificial Intelligence
KW  - Symbolic and Algebraic Manipulation
KW  - Mathematical Logic and Formal Languages
KW  - Natural Language Processing (NLP)
KW  - Information Storage and Retrieval
N1  - Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management -- Projects and Surveys -- Systems and Data
N2  - This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data
UR  - https://doi.org/10.1007/978-3-319-20615-8
ER  -