Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2021
ISBN 10: 3030810968 ISBN 13: 9783030810962
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 77,04
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 269 pages. 9.25x6.10x0.57 inches. In Stock.
Zustand: New.
Sprache: Englisch
Verlag: Springer International Publishing, 2021
ISBN 10: 3030810968 ISBN 13: 9783030810962
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Intelligent Computer Mathematics | 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings | Fairouz Kamareddine (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2021 | Springer | EAN 9783030810962 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.