Items related to Intelligent Computer Mathematics: 16th International...
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings (Lecture Notes in Computer Science, 14101) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Intelligent Computer Mathematics: 16th International...
Stock Image
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5â"8, 2023 Proceedings (Lecture Notes in Computer Science, 14101)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Very Good. Seller Inventory # mon0003631186
Quantity: 1 available
Stock Image
Intelligent Computer Mathematics : 16th International Conference, Cicm 2023, Cambridge, Uk, September 4-8, 2023, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 46642093-n
Quantity: 15 available
Stock Image
Intelligent Computer Mathematics (Paperback)
Published by
Springer International Publishing AG, Cham, 2023
ISBN 10: 3031427521
ISBN 13: 9783031427527
New
Paperback
First Edition
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783031427527
Quantity: 1 available
Stock Image
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings (Lecture Notes in Computer Science, 14101)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783031427527
Quantity: 2 available
Stock Image
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings (Lecture Notes in Computer Science, 14101)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783031427527
Quantity: Over 20 available
Stock Image
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings (Lecture Notes in Computer Science, 14101)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783031427527_new
Quantity: Over 20 available
Stock Image
Intelligent Computer Mathematics : 16th International Conference, Cicm 2023, Cambridge, Uk, September 4-8, 2023, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 46642093
Quantity: 15 available
Seller Image
Intelligent Computer Mathematics
Published by
Springer Nature Switzerland, Springer International Publishing Aug 2023, 2023
ISBN 10: 3031427521
ISBN 13: 9783031427527
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 344 pp. Englisch. Seller Inventory # 9783031427527
Quantity: 2 available
Stock Image
Intelligent Computer Mathematics
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 344. Seller Inventory # 26398554277
Quantity: 4 available
Stock Image
Intelligent Computer Mathematics
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 344. Seller Inventory # 397855610
Quantity: 4 available