Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Lecture Notes in Artificial Intelligence - Ulrich Furbach - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540371878 - 3 de agosto de 2006
Caso a capa e o título não sejam correspondentes, considere o título como correto

Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Lecture Notes in Artificial Intelligence 2006 edition

Ulrich Furbach

Preço
Íkr 13.069
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 4 - 10 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Adicione à sua lista de desejos do iMusic

Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Lecture Notes in Artificial Intelligence 2006 edition

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006.


688 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 3 de agosto de 2006
ISBN13 9783540371878
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 688
Dimensões 152 × 229 × 35 mm   ·   970 g
Idioma German  
Editor Furbach, Ulrich
Editor Shankar, Natarajan

Mostrar tudo

Mais por Ulrich Furbach