Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series - Zbigniew Stachniak - Libros - Kluwer Academic Publishers - 9780792340171 - 30 de abril de 1996
En caso de que portada y título no coincidan, el título será el correcto

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition

Zbigniew Stachniak

Precio
€ 120,99

Pedido desde almacén remoto

Entrega prevista 10 - 19 de dic.
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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

También disponible como:

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition

This text develops an algebraic theory of resolution proof systems, focusing on the problems of proof theory, representation and efficiency of the deductive process.

208 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 30 de abril de 1996
ISBN13 9780792340171
Editores Kluwer Academic Publishers
Páginas 208
Dimensiones 156 × 234 × 14 mm   ·   498 g
Lengua English  
Mostrar todo

Mas por Zbigniew Stachniak

Ver todo de Zbigniew Stachniak ( Ej. Hardcover Book y Paperback Book )