Verwandte Artikel zu Intelligent Computer Mathematics: 16th International...
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings: 14101 (Lecture Notes in Artificial Intelligence) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 75,75
EUR 13,74 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerSuchergebnisse für Intelligent Computer Mathematics: 16th International...
Beispielbild für diese ISBN
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5â"8, 2023 Proceedings (Lecture Notes in Computer Science, 14101)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Very Good. Artikel-Nr. mon0003631186
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings (Lecture Notes in Computer Science, 14101)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783031427527_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 58, 2023 Proceedings
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 2023. Paperback. . . . . . Books ship from the US and Ireland. Artikel-Nr. V9783031427527
Anzahl: 15 verfügbar
Foto des Verkäufers
Intelligent Computer Mathematics
ISBN 10: 3031427521
ISBN 13: 9783031427527
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch. Artikel-Nr. 9783031427527
Anzahl: 2 verfügbar
Foto des Verkäufers
Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
ISBN 10: 3031427521
ISBN 13: 9783031427527
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783031427527
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Intelligent Computer Mathematics: 16th International Conference, Cicm 2023, Cambridge, Uk, September 4-8, 2023, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 341 pages. 9.25x6.10x0.72 inches. In Stock. Artikel-Nr. x-3031427521
Anzahl: 2 verfügbar