Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 ProceedingsFlesca, Sergio ; Greco, Sergio ; Ianni, Giovambattista ; Leone, Nicola Leone, Nicola ; Flesca, Sergio ; Greco, Sergio ; Ianni, GiovambattistaBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Artificial intelligence a modern approachStuart J. Russell (Stuart Jonathan) Peter NorvigUpper Saddle River Prentice Hall c2010Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.8 R917a3 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
|
4 |
Material Type: Livro
|
![]() |
Philosophical Logic and Artificial IntelligenceRichmond H. ThomasonSpringer Netherlands 1989Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
AI 2002 advances in artificial intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002 : proceedingsAustralian Joint Conference on Artificial Intelligence (15th 2002 Canberra, A.C.T.) Bob McKay; J. K Slaney (John K.)Berlin Springer London c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2557 )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. ProceedingsArmando, Alessandro Armando, AlessandroBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Reactive Kripke SemanticsGabbay, Dov MBerlin, Heidelberg: Springer Nature 2013Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, ProceedingsLifschitz, Vladimir ; Niemelä, Ilkka Niemelä, Ilkka ; Lifschitz, VladimirBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Grammatical Inference: Algorithms and Applications: 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 ProceedingsAdriaans, Pieter ; Fernau, Henning ; Zaanen, Menno van Adriaans, Pieter ; van Zaanen, Menno ; Fernau, HenningBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected PapersGeuvers, Herman ; Wiedijk, Freek Geuvers, Herman ; Wiedijk, FreekBerlin, Heidelberg: Springer Berlin Heidelberg 2003Texto completo disponível |