10% de desconto

Formal Methods In Artificial Intelligence

de Allan M. (University College Dublin) Ramsay
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, julho de 1991 ‧
58,13€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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.

Formal Methods In Artificial Intelligence

de Allan M. (University College Dublin) Ramsay

Propriedade Descrição
ISBN: 9780521424219
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: julho de 1991
Idioma: Inglês
Encadernação: Capa mole
Páginas: 292
Tipo de produto: Livro
Coleção: Cambridge Tracts In Theoretical Computer Science
Classificação Temática: Livros em Inglês > Informática > Outras Aplicações
EAN: 9780521424219