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 Computer Science,
SN  - 9783319206158
AV  - QA76.9.M35 
U1  - 004.0151 23
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer science
KW  - Mathematical logic
KW  - Mathematics
KW  - Information storage and retrieval
KW  - Artificial intelligence
KW  - Text processing (Computer science)
KW  - Computer Science
KW  - Math Applications in Computer Science
KW  - Artificial Intelligence (incl. Robotics)
KW  - Symbolic and Algebraic Manipulation
KW  - Mathematical Logic and Formal Languages
KW  - Document Preparation and Text Processing
KW  - Information Storage and Retrieval
KW  - Electronic books
KW  - local
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  - http://ezproxy.alfaisal.edu/login?url=http://dx.doi.org/10.1007/978-3-319-20615-8
ER  -