Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,57
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 68,52
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 78,05
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2021
ISBN 10: 3030810968 ISBN 13: 9783030810962
Librería: Revaluation Books, Exeter, Reino Unido
EUR 78,25
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 269 pages. 9.25x6.10x0.57 inches. In Stock.
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 84,65
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer International Publishing, 2021
ISBN 10: 3030810968 ISBN 13: 9783030810962
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: preigu, Osnabrück, Alemania
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 71,77
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 78,36
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.