Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Intelligent Computer Mathematics

Name: Intelligent Computer Mathematics
Brand: Springer, Berlin
SKU: 43830086
Price: 77.13 EUR
Availability: InStock
Author: Catherine Dubois
ISBN: 9783031427527

16th International Conference, CICM 2023, Cambridge, UK, September 4-8, 2023, Proceedings

Catherine Dubois

Manfred Kerber

Language

English

Book Paperback

Libristo code: 43830086

Publishers Springer, Berlin, September 2023

This book constitutes the refereed proceedings of the 16th International Conference on Intelligent C... Full description

Libristo code: 43830086

187 b

77.13 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Maternidad real ALMA OBREGÓN FERNÁNDEZ

Audio CD

20.08 €

This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.