Isbn: 9783030535179 - intelligent computer mathematics: 13th international conference, cicm 2020, bertinoro, italy, july 26–31, 2020, proceedings (lecture notes in artificial intelligence, band 12236) (5 Ergebnisse)

Zustand: New. In English.

Paperback. Zustand: Brand New. 300 pages. 9.25x6.10x1.02 inches. In Stock.

Zustand: New.

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.…

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.…