Mechanizing Mathematical Reasoning: Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday - Lecture Notes in Computer Science - Dieter Hutter - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540250517 - 23 de fevereiro de 2005
Caso a capa e o título não sejam correspondentes, considere o título como correto

Dieter Hutter
Mechanizing Mathematical Reasoning: Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday - Lecture Notes in Computer Science

Preço
R$ 569,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 Dieter Hutter

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

By presenting results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jorg H Siekmann. It is organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.

570 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 23 de fevereiro de 2005
ISBN13 9783540250517
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 570
Dimensões 155 × 233 × 29 mm   ·   802 g
Idioma Alemão  
Editor Huttler, Dieter
Editor Werner, Stephen

Mais por Dieter Hutter

Mostrar tudo

Mais da mesma editora

Ver tudo de Dieter Hutter