Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Symbolic Logic and Mechanical Theorem ProvingChang, Chin-Liang ; Lee, Richard Char-TungSan Diego: Elsevier Science & Technology 1973Texto completo disponível |
|
2 |
Material Type: Livro
|
Information technology r & d critical trends and issuesEstados Unidos. Congress. Office of Technology AssessmentWashington Ota 1985Localização: EPBC - Esc. Politécnica-Bib Central (004 Es82i )(Acessar) |
|
3 |
Material Type: Livro
|
On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database TechnologiesBrodie, Micheal L ; Mylopoulos, John ; Schmidt, Joachim W Mylopoulos, John ; Brodie, Micheal L.New York, NY: Springer New York 1986Texto completo disponível |
|
4 |
Material Type: Livro
|
Expert systems strategic implications and applicationsAnnabel C. Beerel 1953-Chichester West Sussex Ellis Horwood New York Halsted Press 1987Localização: IME - Inst. Matemática e Estatística (QA860 B415e )(Acessar) |
|
5 |
Material Type: Livro
|
The Cassandra architecture distributed control in a blackboard systemI. CraigChichester Ellis Horwood New York Halsted Press 1989Localização: EPBC - Esc. Politécnica-Bib Central (004.891 C844c )(Acessar) |
|
6 |
Material Type: Livro
|
Neural Network PC Tools: A Practical GuideEberhart, Russell CSan Diego: Elsevier Science & Technology 1990Texto completo disponível |
|
7 |
Material Type: Livro
|
Mental models and human-computer interaction 2Michael J Tauber; D Ackermann (David); Interdisciplinary Workshop in Informatics and Psychology (8th 1989 Schärding, Austria)Amsterdam New York North-Holland New York, N.Y., U.S.A. Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1991Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (004.019 T222m )(Acessar) |
|
8 |
Material Type: Livro
|
Neural and intelligent systems integration fifth and sixth generation integrated reasoning information systemsBranko Souécek IRIS GroupNew York Wiley c1991Localização: IME - Inst. Matemática e Estatística (QA860 S719n )(Acessar) |
|
9 |
Material Type: Livro
|
Made-up minds a constructivist approach to artificial intelligenceGary L. DrescherCambridge, Mass. MIT Press c1991Localização: IF - Instituto de Física (006.3 D773m )(Acessar) |
|
10 |
Material Type: Livro
|
Paradigms of Artificial Intelligence Programming: Case Studies in Common LispNorvig, PeterSan Francisco: Elsevier Science & Technology 1991Texto completo disponível |