Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings - Lecture Notes in Computer Science - Alessandro Armando - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540710691 - 25 de julio de 2008
En caso de que portada y título no coincidan, el título será el correcto

Alessandro Armando
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings - Lecture Notes in Computer Science 2008 edition

Precio
$ 55,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 24 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

Presents the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. This title includes papers that address the spectrum of research in automated reasoning and are organized in topical sections on specific theories.

556 pages, black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 25 de julio de 2008
ISBN13 9783540710691
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 556
Dimensiones 155 × 235 × 29 mm   ·   861 g
Lengua Francés  
Editor Armando, Alessandro
Editor Baumgartner, Peter
Editor Dowek, Gilles

Mere med samme udgiver

Ver todo de Alessandro Armando ( Ej. Paperback Book )