TY  - BOOK
AU  - Kerber,Manfred
AU  - Carette,Jacques
AU  - Kaliszyk,Cezary
AU  - Rabe,Florian
AU  - Sorge,Volker
ED  - CICM (Conference)
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 C53 2015eb
U1  - 004.01/51 23
PY  - 2015///
CY  - Cham
PB  - Springer
KW  - Computer science
KW  - Mathematics
KW  - Congresses
KW  - Artificial intelligence
KW  - Informatique
KW  - Mathématiques
KW  - Congrès
KW  - Intelligence artificielle
KW  - bicssc
KW  - Maths for computer scientists
KW  - Mathematical theory of computation
KW  - Natural language & machine translation
KW  - Information retrieval
KW  - Computers
KW  - Intelligence (AI) & Semantics
KW  - bisacsh
KW  - Data Processing
KW  - Logic
KW  - Speech & Audio Processing
KW  - System Administration
KW  - Storage & Retrieval
KW  - fast
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - International conference proceedings; Includes author index; 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://link.springer.com/10.1007/978-3-319-20615-8
ER  -