Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Lecture Notes in Computer Science - Bernhard Gramlich - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642313646 - 20 de junio de 2012
En caso de que portada y título no coincidan, el título será el correcto

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Lecture Notes in Computer Science

Precio
Mex$ 958
sin IVA

Pedido desde almacén remoto

Entrega prevista 3 - 13 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Bernhard Gramlich
Añadir a tu lista de deseos de iMusic

Aún no valorado

Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012.


580 pages, 90 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de junio de 2012
ISBN13 9783642313646
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 568
Dimensiones 155 × 235 × 30 mm   ·   861 g
Lengua Francés  
Editor Gramlich, Bernhard
Editor Miller, Dale
Editor Sattler, Ulrike

Más del mismo editor