Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings - Lecture Notes in Computer Science - Amy P Felty - Libros - Springer International Publishing AG - 9783319214009 - 30 de julio de 2015
En caso de que portada y título no coincidan, el título será el correcto

Amy P Felty
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings - Lecture Notes in Computer Science 1st ed. 2015 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jun. - 13 de jul.

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

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions.

640 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 30 de julio de 2015
ISBN13 9783319214009
Editores Springer International Publishing AG
Páginas 640
Dimensiones 155 × 235 × 34 mm   ·   9,94 kg
Lengua Francés  
Editor Felty, Amy P.
Editor Middeldorp, Aart

Mere med samme udgiver

Ver todo de Amy P Felty ( Ej. Paperback Book )