Intelligent Computer Mathematics
16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.
The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool...
The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
70.61 €
Produktdetails
Produktinformationen zu „Intelligent Computer Mathematics “
Klappentext zu „Intelligent Computer Mathematics “
This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 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.
Inhaltsverzeichnis zu „Intelligent Computer Mathematics “
Invited Talks.- Regular Papers.- Project and Survey papers.- System and Dataset Descriptions.- System Entry.
Bibliographische Angaben
- 2023, 1st ed. 2023, XVII, 324 Seiten, 49 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Catherine Dubois, Manfred Kerber
- Verlag: Springer, Berlin
- ISBN-10: 3031427521
- ISBN-13: 9783031427527
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