Intelligent Computer Mathematics
14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.
The 12 full papers, 7 system descriptions, 1 system entry, and 3...
The 12 full papers, 7 system descriptions, 1 system entry, and 3...
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 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.
* The conference was held virtually due to the COVID-19 pandemic.
Inhaltsverzeichnis zu „Intelligent Computer Mathematics “
Formalizations.- Automatic Theorem Proving and Machine Learning.- Search and Classification.- Teaching and Geometric Reasoning.- Logic and Systems.- Abstracts of Invited Speakers.
Bibliographische Angaben
- 2021, 1st ed. 2021, XX, 249 Seiten, 32 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Fairouz Kamareddine, Claudio Sacerdoti Coen
- Verlag: Springer, Berlin
- ISBN-10: 3030810968
- ISBN-13: 9783030810962
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