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, 2020
ISBN 10: 3030535177 ISBN 13: 9783030535179
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,29
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 300 pages. 9.25x6.10x1.02 inches. In Stock.
Zustand: New.
Sprache: Englisch
Verlag: Springer International Publishing, 2020
ISBN 10: 3030535177 ISBN 13: 9783030535179
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020\*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, 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 | 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings | Christoph Benzmüller (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2020 | Springer | EAN 9783030535179 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.