ISBN: 9783030535179 - intelligent computer mathematics: 13th international conference, cicm 2020, bertinoro, italy, july 26–31, 2020, proceedings: 12236 (16 risultati)

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New. pp. 322.

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

Condizione: New.

Taschenbuch. Condizione: 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. Condizione: 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.…

Paperback. Condizione: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: new. Questo è un articolo print on demand.

PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 352 pp. Englisch.…

Condizione: New. Print on Demand pp. 322.

Condizione: 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 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 we.…

Condizione: New. PRINT ON DEMAND pp. 322.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 352 pp. Englisch.…