Formal Methods in Artificial Intelligence - Cambridge Tracts in Theoretical Computer Science - Ramsay, Allan M. (University College Dublin) - Livros - Cambridge University Press - 9780521424219 - 26 de julho de 1991
Caso a capa e o título não sejam correspondentes, considere o título como correto

Ramsay, Allan M. (University College Dublin)
Formal Methods in Artificial Intelligence - Cambridge Tracts in Theoretical Computer Science

Preço
R$ 327,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 de set - 9 de out
Receba avisos sobre novos lançamentos de Ramsay, Allan M. (University College Dublin)

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

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book, written for workers in artificial intelligence, covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving, including Bibel's connection method.

292 pages, index, bibliography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 26 de julho de 1991
ISBN13 9780521424219
Editoras Cambridge University Press
Páginas 292
Dimensões 170 × 244 × 15 mm   ·   470 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Ramsay, Allan M. (University College Dublin)