Name: Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (en Inglés)
Price: 304835.00 COP
Availability: InStock
Author: Benzmüller, Christoph ; Miller, Bruce
ISBN: 9783030535179

portada Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Benzmüller, Christoph ; Miller, Bruce

Idioma

Inglés

N° páginas

337

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.9 cm

Peso

0.49 kg.

ISBN13

9783030535179

Categorías

Ciencia y análisis de datos
Análisis y captura de datos
Inteligencia artificial

Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (en Inglés)

Benzmüller, Christoph ; Miller, Bruce (Autor) · Springer · Tapa Blanda

Libro Nuevo

$ 304.835

$ 508.059

Ahorras: $ 203.224

40% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 15 de Julio y el Miércoles 24 de Julio.

Lo recibirás en cualquier lugar de Colombia entre 1 y 5 días hábiles luego del envío.

Reseña del libro "Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (en Inglés)"

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.