Edmund M Clarke
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers - Lecture Notes in Computer Science Edmund M Clarke

Name: Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers - Lecture Notes in Computer Science
Price: 55.99 USD
Availability: OutOfStock
Author: Edmund M Clarke

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers - Lecture Notes in Computer Science

Edmund M Clarke

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, whichtook place in Dakar, Senegal, in April/May 2010.

527 pages, 67 black & white illustrations, 4 colour illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	4 de enero de 2011
ISBN13	9783642175107
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	517
Dimensiones	155 × 236 × 28 mm · 791 g
Lengua	Alemán
Editor	Clarke, Edmund M., Jr.
Editor	Voronkov, Andrei