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
|
![]() |
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 |
3 |
Material Type: Livro
|
![]() |
Paradigms of Artificial Intelligence Programming: Case Studies in Common LispNorvig, PeterSan Francisco: Elsevier Science & Technology 1991Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Cognitive Technology: In Search of a Humane InterfaceMey, J. L ; Gorayska, BSan Diego: Elsevier Science 1995Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Artificial Intelligence: A New SynthesisNilsson, Nils JSt. Louis: Elsevier Science & Technology 1998Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Neural Networks and Artificial Intelligence for Biomedical EngineeringHudson, Donna L ; Cohen, Maurice EJohn Wiley & Sons 1999Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI Vienna, Austria, September 19–21, 2001 ProceedingsBaader, Franz ; Brewka, Gerhard ; Eiter, Thomas Brewka, Gerhard ; Eiter, Thomas ; Baader, FranzBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Experience Management: Foundations, Development Methodology, and Internet-Based ApplicationsBergmann, Ralph Bergmann, RalphBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Adaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent LearningAlonso, Eduardo ; Kudenko, Daniel ; Kazakov, Dimitar Alonso, Eduardo ; Kudenko, Daniel ; Kazakov, DimitarBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Intelligent Bioinformatics: The Application of Artificial Intelligence Techniques to Bioinformatics ProblemsKeedwell, Edward ; Narayanan, AjitNewark: Wiley 2005Texto completo disponível |