Caso a capa e o título não sejam correspondentes, considere o título como correto

Conte aos seus amigos sobre este item:

Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science 1980 edition

David M. Sandford

Preço

DKK 358,40

excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 25 - 31 de jul

O que dizem nossos clientes:

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	English