Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Theoretical Computer Science and General Issues - Nikolaj Bjorner - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642287169 - 24 de fevereiro de 2012
Caso a capa e o título não sejam correspondentes, considere o título como correto

Nikolaj Bjorner
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Theoretical Computer Science and General Issues

Preço
R$ 363,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 3 - 10 de dez
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

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012.

457 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 24 de fevereiro de 2012
ISBN13 9783642287169
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 446
Dimensões 155 × 235 × 23 mm   ·   657 g
Idioma Francês  
Editor Bjorner, Nikolaj
Editor Voronkov, Andrei
Mostrar tudo

Mais por Nikolaj Bjorner

Ver tudo de Nikolaj Bjorner ( por exemplo Paperback Book )