Intelligent Computer Mathematics | 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
Christoph Benzmüller (u. a.)
ISBN 10: 3030535177 ISBN 13: 9783030535179
Verlag: Springer, 2020
Neu
Taschenbuch
Verkäufer
preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 5. August 2024
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
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. Bestandsnummer des Verkäufers 118531111
Inhaltsangabe:
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Intelligent Computer Mathematics | 13th ...
Verlag: Springer
Erscheinungsdatum: 2020
Einband: Taschenbuch
Zustand: Neu
Beste Suchergebnisse beim ZVAB
Foto des Verkäufers
Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26¿31, 2020, Proceedings
Verlag:
Springer International Publishing, 2020
ISBN 10: 3030535177
ISBN 13: 9783030535179
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 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. Artikel-Nr. 9783030535179
Neu kaufen
EUR 53,49
EUR 62,67 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (Lecture Notes in Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783030535179_new
Neu kaufen
EUR 60,06
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Intelligent Computer Mathematics: 13th International Conference, Cicm 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 300 pages. 9.25x6.10x1.02 inches. In Stock. Artikel-Nr. x-3030535177
Neu kaufen
EUR 78,29
EUR 14,45 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Intelligent Computer Mathematics : 13th
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Artikel-Nr. V9783030535179
Neu kaufen
EUR 84,09
EUR 8,91 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 15 verfügbar