Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings - Lecture Notes in Computer Science - Stephane Demri - Libros - Springer International Publishing AG - 9783319085869 - 4 de agosto de 2014
En caso de que portada y título no coincidan, el título será el correcto

Stephane Demri
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings - Lecture Notes in Computer Science 2014 edition

Precio
$ 65,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 19 de ago. - 7 de sep.
Recibe notificaciones sobre nuevos lanzamientos de Stephane Demri

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 7th International Joint Conference on Automated Reasoning, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

556 pages, 101 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 4 de agosto de 2014
ISBN13 9783319085869
Editores Springer International Publishing AG
Páginas 528
Dimensiones 155 × 235 × 29 mm   ·   8,31 kg
Lengua Alemán  
Editor Demri, Stephane
Editor Kapur, Deepak
Editor Weidenbach, Christoph

Más del mismo editor

Ver todo de Stephane Demri ( Ej. Paperback Book y Hardcover Book )