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
€ 119,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 10 - 22 de jul
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