Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Intelligent Computer Mathematics
CHF 80.75
Auf Lager
SKU
MQAJH06HE14
1 Verfügbar 
Geliefert zwischen Mo., 29.12.2025 und Di., 30.12.2025
Details
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.
Inhalt
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.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783031166808
- Genre Technology Encyclopedias
- Auflage 1st edition 2022
- Editor Temur Kutsia, Kevin Buzzard
- Lesemotiv Verstehen
- Anzahl Seiten 368
- Herausgeber Springer International Publishing
- Größe H235mm x B155mm x T20mm
- Jahr 2022
- EAN 9783031166808
- Format Kartonierter Einband
- ISBN 3031166809
- Veröffentlichung 17.09.2022
- Titel Intelligent Computer Mathematics
- Untertitel 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings
- Gewicht 557g
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
