Aufgrund einer technischen Störung sind wir zur Zeit leider nicht telefonisch erreichbar. Wir arbeiten mit Hochdruck an einer Lösung und bitten um Ihr Verständnis.
Buch, Englisch, Band 13467, 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, Band 13467, 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.
