Intelligent Computer Mathematics
15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings
(Sprache: Englisch)
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...
The 17 full papers, 1 project/ survey paper, 4 short papers, and 2...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
53.49 €
Produktdetails
Produktinformationen zu „Intelligent Computer Mathematics “
Klappentext zu „Intelligent Computer Mathematics “
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.
Inhaltsverzeichnis zu „Intelligent Computer Mathematics “
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.
Bibliographische Angaben
- 2022, 1st ed. 2022, XV, 349 Seiten, 137 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Kevin Buzzard, Temur Kutsia
- Verlag: Springer, Berlin
- ISBN-10: 3031166809
- ISBN-13: 9783031166808
Sprache:
Englisch
Kommentar zu "Intelligent Computer Mathematics"
0 Gebrauchte Artikel zu „Intelligent Computer Mathematics“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Intelligent Computer Mathematics".
Kommentar verfassen