June 21st Father's Day! All the best gift ideas. Shop NowJune 21st Father's Day! All the best gift ideas. Shop Now
Add Item to wish listAdd Item to wish list

Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings

By Christoph Benzmüller (Editor), Bruce Miller (Editor)
Paperback
$54.99
By Christoph Benzmüller (Editor), Bruce Miller (Editor)
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
See All Formats & Editions
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.

The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other...

Categories

Science & TechnologyComputersEngineeringTechnologyRobotics & Artificial IntelligenceArtificial Intelligence (AI)Artificial Intelligence - General