Resultados de 1 a 10 de 38 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
assunto:
Técnicas De Programação
| 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. |
Resultados de 1 a 10 de 38 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Logic Programming (19)
- Programação Lógica (18)
- Metodologia E Técnicas De Computação (16)
- Inteligência Artificial (14)
- Lógica Matemática (10)
- Artificial Intelligence (6)
- Computer Science (6)
- Linguagem De Programação (5)
- Técnicas De Programação (5)
- Técnicas De Programação (5)
- Nonmonotonic Reasoning (4)
- Computer Programming (4)
- Machine Theory (4)
- Kongress (4)
- Congresses (4)
- Programming Techniques (4)
- Programação Matemática (3)
- Logische Programmierung (3)
- Mathematical Logic And Formal Languages (3)
- Mathematical Logic (3)
- E-Book Springer Lncs (3)
- Arquitetura E Organização De Computadores (3)
- Ciência Da Computação (2)
- Lógica Matemática (2)
- Automatic Theorem Proving (2)
- Compilers (2)
- Parallel Processing (Electronic Computers) (2)
- Programação Paralela (2)
- Programming Languages (Electronic Computers) (2)
- Kunstmatige Intelligentie (2)
- Computer Logic (2)
- Logic Design (2)
- Logic Programming -- Congresses (2)
- Arquiteturas Paralelas (2)
- Th Eorie Type (1)
- Computational Complexity (1)
- Th Eorie Unification (1)
- Nonmonotonic Reasoning (1)
- Alice (Computer Program Language) (1)
- Programação Lógica (1)
-
Mais opções
Autor/Criador
- Dix, J (3)
- Becker, J (2)
- Przymusinski, T (2)
- International Conference on Logic Programming (2)
- Pereira, L (2)
- Nerode, A (2)
- Eisele, I (2)
- Logic Programming Conference (2)
- Workshop on Non-Monotonic Extensions of Logic Programming (1)
- Gasarch, W (1)
- Goldblatt, R (1)
- Swierstra, S (1)
- Johnson, S (1)
- Pfeifer, G (1)
- Gelfond, M (1)
- IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (1)
- International Workshop on Logic Programming and Knowledge Representation, L (1)
- Fujisaki, T (1)
- Mulkers, A (1)
- Hölldobler, S (1)
-
Mais opções
Data de Publicação
- Antes de1989 (8)
- 1989Até1992 (6)
- 1993Até1997 (7)
- 1998Até2002 (14)
- Após 2002 (6)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science Archive (4)
- Springer Books (4)
- Springer Books Online Archive (4)
- SpringerLINK Lecture Notes in Computer Science (2015) (4)
- SpringerLink Books Lecture Notes in Computer Science Archive (4)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (4)
- ScienceDirect eBooks (1)
- eBook - All Access Books [EBAAB] (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 