Get Free Shipping on orders over $79
Intelligent Computer Mathematics : 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings - Cezary Kaliszyk

Intelligent Computer Mathematics

12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings

By: Cezary Kaliszyk (Editor), Edwin Brady (Editor), Andrea Kohlhase (Editor)

Paperback | 3 July 2019

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, held in Prague, Czech Republic, in July 2019. The 19 full papers presented were carefully reviewed and selected from a total of 41 submissions. The papers focus on digital and computational solutions which are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value.

More in Artificial Intelligence

The Tech Coup : How to Save Democracy from Silicon Valley - Marietje Schaake
Creative Machines : AI, Art & Us - Maya Ackerman

RRP $57.95

$44.75

23%
OFF
The Shortest History of AI - Toby Walsh

RRP $27.99

$22.75

19%
OFF
Life 3.0 : Being Human in the Age of Artificial Intelligence - Max Tegmark
Ideal Subjects Volume 76 : The Abstract People of AI - Olga Goriunova

RRP $270.00

$235.75

13%
OFF
Co-Intelligence : Living and Working with AI - Ethan Mollick

RRP $36.99

$29.75

20%
OFF
How We Learn : The New Science of Education and the Brain - Stanislas Dehaene
Current Trends in Automated Reasoning - Erika Bach
Handbook of Speech Recognition - Warren Hanna
Handbook of Reinforcement Learning - Todd Mcmullen