Buch, Englisch, 249 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 417 g
14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings
Buch, Englisch, 249 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 417 g
Reihe: Lecture Notes in Artificial Intelligence
ISBN: 978-3-030-81096-2
Verlag: Springer International Publishing
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Formalizations.- Automatic Theorem Proving and Machine Learning.- Search and Classification.- Teaching and Geometric Reasoning.- Logic and Systems.- Abstracts of Invited Speakers.
