We a good story
Quick delivery in the UK

Intelligent Computer Mathematics

About Intelligent Computer Mathematics

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9783031427527
  • Binding:
  • Paperback
  • Pages:
  • 344
  • Published:
  • August 30, 2023
  • Edition:
  • 23001
  • Dimensions:
  • 155x19x235 mm.
  • Weight:
  • 522 g.
Delivery: 2-4 weeks
Expected delivery: January 25, 2025
Extended return policy to January 30, 2025
  •  

    Cannot be delivered before Christmas.
    Buy now and print a gift certificate

Description of Intelligent Computer Mathematics

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.

User ratings of Intelligent Computer Mathematics



Find similar books
The book Intelligent Computer Mathematics can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.