Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series - W Bibel - Livros - Springer - 9780792351290 - 30 de junho de 1998
Caso a capa e o título não sejam correspondentes, considere o título como correto

W Bibel
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1998 edition

Preço
R$ 1.202,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 2 - 7 de jan de 2026
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:

rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.

481 pages, 1, black & white illustrations

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 30 de junho de 1998
ISBN13 9780792351290
Editoras Springer
Páginas 481
Dimensões 160 × 242 × 33 mm   ·   884 g
Idioma Inglês  
Editor Bibel, Wolfgang
Editor Schmitt, P.H.

Mais por W Bibel

Mostrar tudo

Ver tudo de W Bibel ( por exemplo Paperback Book e Hardcover Book )