Automated Reasoning with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence - Martin Giese - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642027154 - 24 de junho de 2009
Caso a capa e o título não sejam correspondentes, considere o título como correto

Automated Reasoning with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

Preço
€ 60,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 31 de ago - 14 de set
Receba avisos sobre novos lançamentos de Martin Giese
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

353 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 24 de junho de 2009
ISBN13 9783642027154
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 353
Dimensões 155 × 235 × 20 mm   ·   544 g
Idioma Francês  

Mais por Martin Giese

Mostrar tudo

Mais da mesma editora