Intelligent computer mathematics [electronic resource] : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings / Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge (eds.).
CICM (Conference) (2015 : Washington, D.C.); Kerber, Manfred, 1956- editor.; Carette, Jacques (Computer scientist), editor.; Kaliszyk, Cezary, editor.; Rabe, Florian, editor.; Sorge, Volker, editor.
2015
QA76.9.M35 C53 2015eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Intelligent computer mathematics [electronic resource] : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings / Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge (eds.).
Meeting Name CICM (Conference) (2015 : Washington, D.C.)
ISBN 9783319206158 electronic book
331920615X electronic book
9783319206141
DOI https://doi.org/10.1007/978-3-319-20615-8
Published Cham : Springer, 2015.
Language English
Description 1 online resource (xxi, 359 pages) : illustrations.
Item Number 10.1007/978-3-319-20615-8 doi
Call Number QA76.9.M35 C53 2015eb
Dewey Decimal Classification 004.01/51
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 International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed July 2, 2015).
Added Author Kerber, Manfred, 1956- editor.
Carette, Jacques (Computer scientist), editor.
Kaliszyk, Cezary, editor.
Rabe, Florian, editor.
Sorge, Volker, editor.
Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 9150.
LNCS sublibrary. SL 7, Artificial intelligence.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Invited Talks
Calculemus
Digital Mathematics Libraries
Mathematical Knowledge Management
Projects and Surveys
Systems and Data.

Browse Subjects

Show more subjects...

Statistics

from
to
Export