Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings - Lecture Notes in Artificial Intelligence - M Baaz - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540000105 - 2 de octubre de 2002
En caso de que portada y título no coincidan, el título será el correcto

M Baaz
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings - Lecture Notes in Artificial Intelligence 2002 edition

Precio
$ 54,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 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

Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning.

470 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 2 de octubre de 2002
ISBN13 9783540000105
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 470
Dimensiones 155 × 235 × 24 mm   ·   716 g
Lengua Alemán  
Editor Baaz, Matthias
Editor Voronkov, Andrei

Mere med samme udgiver

Ver todo de M Baaz ( Ej. Paperback Book )