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 - 9789048150526 - 9 de dezembro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1st Ed. Softcover of Orig. Ed. 1998 edition

W Bibel

Preço
DKK 1.018,40
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 14 - 18 de jul

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:

Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1st Ed. Softcover of Orig. Ed. 1998 edition

347 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 9 de dezembro de 2010
ISBN13 9789048150526
Editoras Springer
Páginas 347
Dimensões 156 × 234 × 18 mm   ·   485 g
Editor Bibel, Wolfgang
Editor Schmitt, P. H.
Mostrar tudo

Mais por W Bibel

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