Return to home page
Searching: Muskingum library catalog
Some OPAL libraries remain closed or are operating at reduced service levels. Materials from those libraries may not be requestable; requested items may take longer to arrive. Note that pickup procedures may differ between libraries. Please contact your library for new procedures, specific requests, or other assistance.
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
Conference CICM (Conference) (2015 : Washington, D.C.)
Title Intelligent computer mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings / Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge (eds.).
Imprint Cham : Springer, 2015.

View online
View online
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.)
ISBN/ISSN 10.1007/978-3-319-20615-8
OCLC # 912857509
Additional Format Printed edition: 9783319206141

If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team