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 - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642287169 - 24 de febrero de 2012
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
€ 58,49

Pedido desde almacén remoto

Entrega prevista 15 - 26 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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

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

Mas por Nikolaj Bjorner

Mostrar todo

Ver todo de Nikolaj Bjorner ( Ej. Paperback Book )