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 70,33
Gratis für den Versand innerhalb von/der Deutschland
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. Bestandsnummer des Verkäufers mon0003631186
Anzahl: 1 verfügbar
Foto des Verkäufers
Intelligent Computer Mathematics
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 pre. Bestandsnummer des Verkäufers 959198620
Anzahl: Mehr als 20 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. Bestandsnummer des Verkäufers 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. Bestandsnummer des Verkäufers 9783031427527
Anzahl: 1 verfügbar
Foto des Verkäufers
Intelligent Computer Mathematics
ISBN 10: 3031427521
ISBN 13: 9783031427527
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 344 pp. Englisch. Bestandsnummer des Verkäufers 9783031427527
Anzahl: 2 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. Bestandsnummer des Verkäufers ria9783031427527_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Intelligent Computer Mathematics : 16th International Conference, Cicm 2023, Cambridge, Uk, September 4-8, 2023, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 46642093-n
Anzahl: 15 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: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783031427527
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Intelligent Computer Mathematics : 16th International Conference, Cicm 2023, Cambridge, Uk, September 4-8, 2023, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 46642093
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Intelligent Computer Mathematics
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 344. Bestandsnummer des Verkäufers 26398554277
Anzahl: 4 verfügbar