TY  - BOOK
AU  - Buzzard,Kevin
AU  - Kutsia,Temur
TI  - Intelligent Computer Mathematics: 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings 
T2  - Lecture Notes in Artificial Intelligence,
SN  - 9783031166815
U1  - 006.3 23
PY  - 2022///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computational intelligence
KW  - Computational Intelligence
N1  - 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
N2  - 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
UR  - https://doi.org/10.1007/978-3-031-16681-5
ER  -