Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings - Lecture Notes in Computer Science - David a Mcallester - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540676645 - 5 de junio de 2000
En caso de que portada y título no coincidan, el título será el correcto

David a Mcallester
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings - Lecture Notes in Computer Science 2000 edition

Precio
$ 55,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 24 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

Abstracts or full papers of these talks are included in this volume. In addition to the accepted papers, system descriptions, andinvited talks, this volumecontains one page summaries of four tutorials and ?ve workshops held in conjunction with CADE-17.

540 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 5 de junio de 2000
ISBN13 9783540676645
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 526
Dimensiones 155 × 235 × 27 mm   ·   748 g
Lengua Alemán  
Editor McAllester, David

Mere med samme udgiver

Ver todo de David a Mcallester ( Ej. Paperback Book )