Robert Nieuwenhuis
Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings - Lecture Notes in Artificial Intelligence Robert Nieuwenhuis 2005 edition

Name: Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings - Lecture Notes in Artificial Intelligence
Price: 55.99 USD
Availability: OutOfStock
Author: Robert Nieuwenhuis

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings - Lecture Notes in Artificial Intelligence

Robert Nieuwenhuis

2005 edition

Constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed.

466 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	14 de julio de 2005
ISBN13	9783540280057
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	466
Dimensiones	155 × 235 × 24 mm · 662 g
Lengua	Alemán
Editor	Nieuwenhuis, Robert