Handbook of Automated Reasoning - Handbook of Automated Reasoning - Robinson - Libros - Elsevier Science & Technology - 9780444829498 - 21 de junio de 2001
En caso de que portada y título no coincidan, el título será el correcto

Robinson
Handbook of Automated Reasoning - Handbook of Automated Reasoning

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

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 first volume of the "Handbook of Automated Reasoning" includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.

996 pages

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 21 de junio de 2001
ISBN13 9780444829498
Editores Elsevier Science & Technology
Páginas 996
Dimensiones 165 × 240 × 65 mm   ·   1,77 kg
Editor Robinson, Alan J.A. (96 Highland Avenue, Greenfield, Massachusetts, USA)
Editor Voronkov, Andrei (University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.)

Mas por Robinson

Mostrar todo

Mere med samme udgiver

Ver todo de Robinson ( Ej. Book , Paperback Book , Hardcover Book , CD y LP )