Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
|
2 |
Material Type: Livro
|
Handbook of Process AlgebraBergstra, J. A ; Ponse, A ; Smolka, S. ASan Diego: Elsevier Science & Technology 2001Texto completo disponível |
|
3 |
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 |
|
4 |
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 |
|
5 |
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 |
|
6 |
Material Type: Livro
|
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993Symposium on Logic in Computer Science (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingLos Alamitos, Calif. IEEE Computer Society Press c1993Localização: EPBC - Esc. Politécnica-Bib Central (004.42 Ie2L 8. )(Acessar) |
|
7 |
Material Type: Livro
|
Bounded queries in recursion theoryWilliam I. Gasarch Georgia A MartinBoston Birkhaüser c1999Localização: IME - Inst. Matemática e Estatística (S P9649 v.16 )(Acessar) |
|
8 |
Material Type: Livro
|
Termination Proofs for Logic ProgramsLutz PlümerSpringer Berlin Heidelberg 1990Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 proceedingsInternational Conference on Logic Programming (3rd 1986 Imperial College of Science and Technology) Ehud Y ShapiroBerlin Springer-Verlag New York c1986Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 Lncs v.225 e.2 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Conclog: A Methodological Approach to Concurrent Logic ProgrammingJean-Marie JacquetSpringer Berlin Heidelberg 1991Acesso online. A biblioteca também possui exemplares impressos. |