Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Termination Proofs for Logic ProgramsPlümer, LutzBerlin, Heidelberg: Springer Berlin Heidelberg 1990Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Engineering Intelligent Hybrid Multi-Agent SystemsKhosla, Rajiv ; Dillon, TharamBoston, MA: Springer 1992Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Intelligent Systems and Soft Computing: Prospects, Tools and ApplicationsAzvine, Behnam ; Azarmi, Nader ; Nauck, Detlef D Nauck, Detlef D. ; Azarmi, Nader ; Azvine, BenhamBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
RoboCup 2000: Robot Soccer World Cup IVStone, Peter ; Balch, Tucker ; Kraetzschmar, Gerhard Kraetzschmar, Gerhard ; Stone, Peter ; Balch, TuckerBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, ProceedingsHentenryck, Pascal Van Van Hentenryck, PascalBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Engineering Societies in the Agents World III: Third International Workshop, ESAW 2002, Madrid, Spain, September 16-17, 2002, Revised PapersPetta, Paolo ; Tolksdorf, Robert ; Zambonelli, Franco Tolksdorf, Robert ; Zambonelli, Franco ; Petta, PaoloBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Scientific Engineering for Distributed Java Applications: International Workshop, FIDJI 2002 Luxembourg-Kirchberg, Luxembourg, November 28–29, 2002 Revised PapersGuelfi, Nicolas ; Astesiano, Egidio ; Reggio, Gianna Astesiano, Egidio ; Reggio, Gianna ; Guelfi, NicolasBerlin, Heidelberg: Springer Berlin Heidelberg 2003Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Self-Adaptive Software: Applications: Second International Workshop, IWSAS 2001 Balatonfüred, Hungary, May 17–19, 2001 Revised PapersLaddaga, Robert ; Shrobe, Howie ; Robertson, Paul Shrobe, Howie ; Robertson, Paul ; Laddaga, RobertBerlin, Heidelberg: Springer Berlin Heidelberg 2003Texto completo disponível |
9 |
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 |
10 |
Material Type: Livro
|
![]() |
Advances in Informatics: 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected PapersManolopoulos, Yannis ; Evripidou, Skevos ; Kakas, Antonis C Evripidou, Skevos ; Kakas, Antonis C. ; Manolopoulos, YannisBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |