Artificial Intelligence, Automated Reasoning and Symbolic Computation: Joint International Conferences, Aisc 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings - Lecture Notes in Computer Science - J Calmet - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540438656 - 19 de junho de 2002
Caso a capa e o título não sejam correspondentes, considere o título como correto

J Calmet
Artificial Intelligence, Automated Reasoning and Symbolic Computation: Joint International Conferences, Aisc 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings - Lecture Notes in Computer Science

Preço
R$ 294,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out
Receba avisos sobre novos lançamentos de J Calmet

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

Ainda não avaliado

Constitutes the proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, and Calculemus 2002, held in France in 2002. The 24 papers cover automated theorem proving, logical reasoning, mathematical modeling, algebraic computations and more.

350 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 19 de junho de 2002
ISBN13 9783540438656
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 350
Dimensões 156 × 234 × 19 mm   ·   508 g
Idioma Alemão  
Editor Benhamou, Belaid
Editor Calmet, Jacques C.
Editor Caprotti, Olga
Editor Henocque, Laurent
Editor Sorge, Volker

Mais por J Calmet

Mostrar tudo

Mais da mesma editora

Ver tudo de J Calmet