Conference |
CICM (Conference) (2015 : Washington, D.C.)
|
Series |
Lecture notes in artificial intelligence, 0302-9743 ; 9150 |
|
LNCS sublibrary. SL 7, Artificial intelligence |
|
Lecture notes in computer science. Lecture notes in artificial intelligence ;
9150.
|
|
LNCS sublibrary. SL 7, Artificial intelligence.
|
Subject |
Computer science -- Mathematics -- Congresses.
|
|
Artificial intelligence -- Mathematics -- Congresses.
|
Alt Name |
Kerber, Manfred, 1956-
|
|
Carette, Jacques (Computer scientist),
|
|
Kaliszyk, Cezary,
|
|
Rabe, Florian, 1979-
|
|
Sorge, Volker,
|
Add Title |
CICM 2015 |
Description |
1 online resource (xxi, 359 pages) : illustrations. |
|
polychrome rdacc |
Note |
International conference proceedings. |
|
Includes author index. |
Contents |
Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management -- Projects and Surveys -- Systems and Data. |
Summary |
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. |
Note |
Online resource; title from PDF title page (SpringerLink, viewed July 2, 2015). |
ISBN |
9783319206158 (electronic bk.) |
|
331920615X (electronic bk.) |
|
3319206141 |
|
9783319206141 |
|
9783319206141 |
ISBN/ISSN |
10.1007/978-3-319-20615-8 |
OCLC # |
912857509 |
Additional Format |
Printed edition: 9783319206141 |
|