Nikolaj Bjorner
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Theoretical Computer Science and General Issues Nikolaj Bjorner

Name: Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Theoretical Computer Science and General Issues
Price: 65.99 USD
Availability: OutOfStock
Author: Nikolaj Bjorner

Precio

$ 65,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 13 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: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Theoretical Computer Science and General Issues

Nikolaj Bjorner

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012.

457 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	24 de febrero de 2012
ISBN13	9783642287169
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	446
Dimensiones	155 × 235 × 23 mm · 657 g
Lengua	Francés
Editor	Bjorner, Nikolaj
Editor	Voronkov, Andrei