Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
|
2 |
Material Type: Livro
|
Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, ProceedingsKoenig, Sven ; Holte, Robert C Holte, Robert C. ; Koenig, SvenBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
3 |
Material Type: Livro
|
Intelligent tutoring systems: 7th International Conference, ITS 2004, Maceió, Alagoas, Brazil, August 30 - September 3, 2004. ProceedingsLester, James C ; Vicari, Rosa Maria ; Paraguacu, Fábio Paraguaçu, Fábio ; Lester, James C. ; Vicari, Rosa MariaBerlin, Heidelberg: Springer 2004Texto 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
|
AIIA 97: Advances in Artificial Intelligence: 5th Congress of the Italian Association for Artificial Intelligence Rome, Italy, September 17–19, 1997 ProceedingsLenzerini, Maurizio Lenzerini, MaurizioBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |