Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.43
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.
Language: English
Published by Springer-Nature New York Inc, 2021
ISBN 10: 3030810968 ISBN 13: 9783030810962
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 269 pages. 9.25x6.10x0.57 inches. In Stock.
Language: English
Published by Springer International Publishing, 2021
ISBN 10: 3030810968 ISBN 13: 9783030810962
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: 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.
Taschenbuch. Condition: 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.
Condition: New. Print on Demand.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND.