Buch, Englisch, 349 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 557 g
15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings
Buch, Englisch, 349 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 557 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-031-16680-8
Verlag: Springer
This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Computer Mathematics, CICM 2022, held in Tbilisi, Georgia, in September 2022.
The 17 full papers, 1 project/ survey paper, 4 short papers, and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on theoretical and practical solutions for these challenges including computation, deduction, narration, and data management.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Invited Talk.- Formalizations.- Digital Libraries and Mathematical Knowledge Management.- Theorem Proving and Expression Transformation.- Satisfiability, QBF, and SMT Solving.- Computer-Aided Teaching.- Datasets and system entries.
