Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series - Zbigniew Stachniak - Livros - Kluwer Academic Publishers - 9780792340171 - 30 de abril de 1996
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Zbigniew Stachniak

Preço
€ 123,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 10 - 19 de dez
Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Também disponível 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

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 30 de abril de 1996
ISBN13 9780792340171
Editoras Kluwer Academic Publishers
Páginas 208
Dimensões 156 × 234 × 14 mm   ·   498 g
Idioma English  
Mostrar tudo

Mais por Zbigniew Stachniak

Ver tudo de Zbigniew Stachniak ( por exemplo Hardcover Book e Paperback Book )