Opening book details…
Can I read Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings on EtoBox?
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings by Catherine Dubois, Manfred Kerber, (eds.) is a computer science book available to read on EtoBox.
What is Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings about?
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
Who reads Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Catherine Dubois, Manfred Kerber, (eds.)
- Publisher
- Springer International Publishing
- Published
- 2023
- Language
- EN
- ISBN
- 9783031427527
- Category
- computer science
- Subjects
- Science, Business, International Conferences And Symposiums
- Updated
- 2026-03-25
More by Catherine Dubois, Manfred Kerber, (eds.)
Browse all works by Catherine Dubois, Manfred Kerber, (eds.)
Similar books
- Towards Autonomous Robotic Systems : 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13–15, 2023, Proceedings 14136 — Fumiya Iida; Perla Maiolino; Arsen Abdulali; Mingfeng Wang (2023)
- Intelligent Computer Mathematics [recurso electrónico] International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings — Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, and Josef Urban (2014)
- Towards autonomous robotic systems : 16th annual conference, TAROS 2015, Liverpool, UK, September 8-10, 2015 : proceedings — Karl Tuyls Clare Dixon (2015)
- Medical Image Computing and Computer-Assisted Intervention - MICCAI'99: Second International Conference, Cambridge, UK, September 19-22, 1999, Proceedings (Lecture Notes in Computer Science) — M. R. Kaus, S. K. Warfield, A. Nabavi, E. Chatzidakis, P. M. Black, F. A. Jolesz (auth.), Chris Taylor, Alain Colchester (1999)
- Mathematics of Surfaces: 10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings (Lecture Notes in Computer Science) — Xu-Ping Zhu, Shi-Min Hu, Ralph Martin (auth.), Michael J. Wilson, Ralph R. (2003)
- Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (Lecture Notes in Computer Science Book 9791) — Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (2016)