Opening book details…
Can I read Intelligent Computer Mathematics : 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings on EtoBox?
Intelligent Computer Mathematics : 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings by Fairouz D Kamareddine; Claudio Sacerdoti Coen is a nonfiction available to read on EtoBox.
What is Intelligent Computer Mathematics : 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings about?
This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*. The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 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. * The conference was held virtually due to the COVID-19 pandemic.
Who reads Intelligent Computer Mathematics : 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Fairouz D Kamareddine; Claudio Sacerdoti Coen
- Publisher
- Springer Nature Switzerland AG
- Published
- 2021
- Language
- EN
- ISBN
- 9783030810962
- Category
- nonfiction
- Subjects
- Business, Science, Education
More by Fairouz D Kamareddine; Claudio Sacerdoti Coen
Browse all works by Fairouz D Kamareddine; Claudio Sacerdoti Coen
Similar books
- Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings (Lecture Notes in Artificial Intelligence Book 12236) — Christoph Benzmüller, Bruce Miller, Michael Kohlhase, Moa Johansson, Leonardo de Moura, Frank Tompa (2020)
- Intelligent Computer Mathematics : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings — Temur Kutsia Kevin Buzzard (2022)
- 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)
- Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings (Lecture Notes in Computer Science, 13544) — Ekaterina Komendantskaya, (2022)
- Intelligent computer mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008 : proceedings — Author (2009)
- Multi-disciplinary Trends in Artificial Intelligence: 14th International Conference, MIWAI 2021, Virtual Event, July 2–3, 2021, Proceedings (Lecture Notes in Computer Science) — Phatthanaphong Chomphuwiset , Junmo Kim , Pornntiwa Pawara (2021)