Name: Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (en Inglés)
Price: 156.90 PEN
Availability: InStock
Author: Kohlhase, Michael ; Johansson, Moa ; Miller, Bruce
ISBN: 9783319425467

portada Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (en Inglés)

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Kohlhase, Michael ; Johansson, Moa ; Miller, Bruce

Idioma

Inglés

N° páginas

163

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.0 cm

Peso

0.26 kg.

ISBN13

9783319425467

Categorías

Lógica matemática
Compiladores e intérpretes
Inteligencia artificial

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (en Inglés)

Kohlhase, Michael ; Johansson, Moa ; Miller, Bruce (Autor) · Springer · Tapa Blanda

Más barato Libro Nuevo Importado

Envío: 20 a 26 días háb.

S/ 348,67S/ 156,90

-55%

Más rápido Libro Nuevo Importado

Envío: 20 a 25 días háb.

S/ 471,64S/ 212,24

-55%

Costos de importación incluídos en el precio ✅

Libro Nuevo Más barato

Quedan más de 100 unidades

S/ 156,90

Llega entre el 16 Jul y el 30 Jul a CERCADO DE LIMA, Lima. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (en Inglés)"

This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.