Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings - Lecture Notes in Artificial Intelligence - A Voronkov - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540439318 - 17 de julio de 2002
En caso de que portada y título no coincidan, el título será el correcto

A Voronkov
Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings - Lecture Notes in Artificial Intelligence 2002 edition

Precio
Mex$ 1.149
sin IVA

Pedido desde almacén remoto

Entrega prevista 11 - 27 de ago.
Recibe notificaciones sobre nuevos lanzamientos de A Voronkov

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

Aún no valorado

In addition to the refereed papers, this volume contains an extended abstract of the CADE invited talk by Ian Horrocks, the joint CADE/CAV invited talk by Sharad Malik, and the joint CADE-TABLEAUX invited talk by Matthias Baaz.

540 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de julio de 2002
ISBN13 9783540439318
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 540
Dimensiones 155 × 235 × 28 mm   ·   762 g
Lengua Alemán  
Editor Voronkov, Andrei

Más del mismo editor

Ver todo de A Voronkov ( Ej. Paperback Book )