Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science - David M. Sandford - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540102311 - 1 de agosto de 1980
Caso a capa e o título não sejam correspondentes, considere o título como correto

David M. Sandford
Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science 1980 edition

Preço
R$ 329,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 8 - 14 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

242 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 1 de agosto de 1980
ISBN13 9783540102311
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 242
Dimensões 155 × 233 × 13 mm   ·   367 g
Idioma Inglês  

Ver tudo de David M. Sandford ( por exemplo Paperback Book )