Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings - Lecture Notes in Computer Science - D Mcallester - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540664925 - 25 de agosto de 1999
En caso de que portada y título no coincidan, el título será el correcto

D Mcallester
Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings - Lecture Notes in Computer Science 1999 edition

Precio
$ 55,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 10 - 23 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

This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi.

404 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 25 de agosto de 1999
ISBN13 9783540664925
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 404
Dimensiones 155 × 235 × 21 mm   ·   580 g
Lengua Alemán  
Editor Ganzinger, Harald
Editor McAllester, David
Editor Voronkov, Andrei

Mere med samme udgiver

Ver todo de D Mcallester ( Ej. Paperback Book )