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
$ 54,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 21 de jul. - 3 de ago.
Añadir a tu lista de deseos de iMusic

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

Mere med samme udgiver