Proof Theory and Automated Deduction - Applied Logic Series - Jean Goubault-Larrecq - Livros - Kluwer Academic Publishers - 9781402003684 - 30 de novembro de 2001
Caso a capa e o título não sejam correspondentes, considere o título como correto

Jean Goubault-Larrecq
Proof Theory and Automated Deduction - Applied Logic Series Softcover reprint of the original 1st ed. 1997 edition

Preço
R$ 297,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 1 - 7 de out
Receba avisos sobre novos lançamentos de Jean Goubault-Larrecq

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

Ainda não avaliado

A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto­ mated deduction for the logic and its fragments is as important as the logic itself.

444 pages, black & white illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 30 de novembro de 2001
ISBN13 9781402003684
Editoras Kluwer Academic Publishers
Páginas 444
Dimensões 155 × 235 × 22 mm   ·   1,37 kg
Idioma Inglês  

Mais da mesma editora

Ver tudo de Jean Goubault-Larrecq