skip to main content
Resultados 1 2 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Termination Proofs for Logic Programs
Material Type:
Livro
Adicionar ao Meu Espaço

Termination Proofs for Logic Programs

Plümer, Lutz

Berlin, Heidelberg: Springer Berlin Heidelberg 1990

Texto completo disponível

2
Engineering Intelligent Hybrid Multi-Agent Systems
Material Type:
Livro
Adicionar ao Meu Espaço

Engineering Intelligent Hybrid Multi-Agent Systems

Khosla, Rajiv ; Dillon, Tharam

Boston, MA: Springer 1992

Texto completo disponível

3
Intelligent Systems and Soft Computing: Prospects, Tools and Applications
Material Type:
Livro
Adicionar ao Meu Espaço

Intelligent Systems and Soft Computing: Prospects, Tools and Applications

Azvine, Behnam ; Azarmi, Nader ; Nauck, Detlef D Nauck, Detlef D. ; Azarmi, Nader ; Azvine, Benham

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

4
RoboCup 2000: Robot Soccer World Cup IV
Material Type:
Livro
Adicionar ao Meu Espaço

RoboCup 2000: Robot Soccer World Cup IV

Stone, Peter ; Balch, Tucker ; Kraetzschmar, Gerhard Kraetzschmar, Gerhard ; Stone, Peter ; Balch, Tucker

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

5
Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings

Hentenryck, Pascal Van Van Hentenryck, Pascal

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

6
Engineering Societies in the Agents World III: Third International Workshop, ESAW 2002, Madrid, Spain, September 16-17, 2002, Revised Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Engineering Societies in the Agents World III: Third International Workshop, ESAW 2002, Madrid, Spain, September 16-17, 2002, Revised Papers

Petta, Paolo ; Tolksdorf, Robert ; Zambonelli, Franco Tolksdorf, Robert ; Zambonelli, Franco ; Petta, Paolo

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

7
Scientific Engineering for Distributed Java Applications: International Workshop, FIDJI 2002 Luxembourg-Kirchberg, Luxembourg, November 28–29, 2002 Revised Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Scientific Engineering for Distributed Java Applications: International Workshop, FIDJI 2002 Luxembourg-Kirchberg, Luxembourg, November 28–29, 2002 Revised Papers

Guelfi, Nicolas ; Astesiano, Egidio ; Reggio, Gianna Astesiano, Egidio ; Reggio, Gianna ; Guelfi, Nicolas

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

8
Self-Adaptive Software: Applications: Second International Workshop, IWSAS 2001 Balatonfüred, Hungary, May 17–19, 2001 Revised Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Self-Adaptive Software: Applications: Second International Workshop, IWSAS 2001 Balatonfüred, Hungary, May 17–19, 2001 Revised Papers

Laddaga, Robert ; Shrobe, Howie ; Robertson, Paul Shrobe, Howie ; Robertson, Paul ; Laddaga, Robert

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

9
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings

Lifschitz, Vladimir ; Niemelä, Ilkka Niemelä, Ilkka ; Lifschitz, Vladimir

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

10
Advances in Informatics: 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in Informatics: 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers

Manolopoulos, Yannis ; Evripidou, Skevos ; Kakas, Antonis C Evripidou, Skevos ; Kakas, Antonis C. ; Manolopoulos, Yannis

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (9)

Buscando em bases de dados remotas. Favor aguardar.