Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783319942049 - 1 de julio de 2018
En caso de que portada y título no coincidan, el título será el correcto

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings - Lecture Notes in Computer Science 2018 edition

Precio
$ 65,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de ago. - 14 de sep.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018.

724 pages, 128 Illustrations, black and white; XVIII, 724 p. 128 illus.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 1 de julio de 2018
ISBN13 9783319942049
Editores Springer International Publishing AG
Páginas 724
Dimensiones 150 × 220 × 10 mm   ·   1,03 kg
Lengua Francés  
Editor Galmiche, Didier
Editor Schulz, Stephan
Editor Sebastiani, Roberto

Más del mismo editor