1
|
Material Type: Livro
|
|
Formal methods in artificial intelligence
Allan Ramsay 1953-
Cambridge New York Cambridge University Press 1988
Localização:
IME - Inst. Matemática e Estatística
(QA860 R178f )(Acessar)
|
2
|
Material Type: Livro
|
|
Simply logical intelligent reasoning by example
Peter A. Flach
Chichester Wiley New York c1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68T10.01 F571sl e.1 )(Acessar)
|
3
|
Material Type: Livro
|
|
Reasoning with incomplete information
David W. Etherington
London Pitman Los Altos Morgan Kaufmann 1988
Localização:
IME - Inst. Matemática e Estatística
(QA860 E84r e.1 )(Acessar)
|