Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Applications of evolutionary computing EvoWorkshops 2003: EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM, Essex, UK, April 14-16, 2003 : proceedingsEvoWorkshops 2003 (2003 Essex, England) Günther RaidlBerlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2611 )(Acessar) |
|
2 |
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 |
|
3 |
Material Type: Livro
|
Principles and practice of constraint programming-CP 2002 8th International Conference4, CP 2002, Ithaca, NY, USA, september 2002 : proceedingsCP 2002 (2002 Ithaca, N.Y.) Pascal Van HentenryckBerlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2470 )(Acessar) |
|
4 |
Material Type: Livro
|
Functional and logic programming 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedingsFuji International Symposium on Functional and Logic Programming (6th 2002 Aizu Daigaku, Japan) Zhenjiang Hu 1966-; M Rodríguez Artalejo (Mario)Berlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2441 )(Acessar) |
|
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
|
Functional and Logic Programming: 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. ProceedingsHu, Zhenjiang ; Rodriquez-Artalejo, Mario Hu, Zhenjiang ; Rodríguez-Artalejo, MarioBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
7 |
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 |
|
8 |
Material Type: Livro
|
Principles and practice of constraint programming--CP2001 7th international conference, CP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedingsCP 2001 (2001 Paphos, Cyprus) Toby WalshBerlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2239 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
The logic of typed feature structures with applications to unification grammars, logic programs, and constraint resolutionBob CarpenterCambridge Cambridge University Press New York 1992Localização: IME - Inst. Matemática e Estatística (QA754 C295L )(Acessar) |