Refinar Meus Resultados

Tipo de Recurso 

1. Livros  (67)
2. Produções Acadêmicas  (1)
3. Artigos  (1)
4. Audiovisuais  (1)
5. Mais opções 

Assunto 

1. Programação Lógica  (19)
2. Linguagem De Programação  (8)
3. Logic Programming  (8)
4. Teoria Da Computação  (7)
5. Algoritmos E Estruturas De Dados  (6)
6. Electronic Digital Computers  (6)
7. Arquitetura E Organização De Computadores  (6)
8. Correção De Programas  (6)
9. Programação Orientada A Objetos  (5)
10. Lógica Matemática  (4)
11. Processamento Simbólico  (4)
12. Ciência Da Computação  (4)
13. Programação Paralela  (4)
14. Engenharia De Software  (3)
15. Parallel Processing (Electronic Computers)  (3)
16. Programação Funcional  (3)
17. Automatic Theorem Proving  (3)
18. Programação Matemática  (3)
19. Algebra  (3)
20. Técnicas De Programação  (0)
21. Técnicas De Programação  (0)
22. Mais opções 

Autor/Criador 

1. Logic Programming Conference  (4)
2. Przymusinski, T  (2)
3. European Conference on Computer Algebra  (2)
4. Pereira, L  (2)
5. Voronkov, A  (2)
6. Furukawa, K  (2)
7. Davenport, J  (2)
8. Fujisaki, T  (2)
9. Russian Conference on Logic Programming  (2)
10. Dix, J  (2)
11. Arnold, K  (1)
12. Geurts, F  (1)
13. Hasan, W  (1)
14. International Conference on Logic Programming  (1)
15. Díaz, J  (1)
16. International Conference on Logic Programming andAutomated Reasoning  (1)
17. Sherman, M  (1)
18. Sun Microsytems  (1)
19. Buchberger, B  (1)
20. Kuchen, H  (1)
21. Mais opções 

Data de Publicação 

1. Antes de1981  (6)
2. 1981Até1987  (20)
3. 1988Até1992  (23)
4. 1993Até1998  (16)
5. Após 1998  (5)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (68)
2. ICMC - Inst. Ciên. Mat. Computação  (54)
3. IFSC - Inst. Física de São Carlos  (7)
4. EPBC - Esc. Politécnica-Bib Central  (5)
5. FEA - Fac. Econ. Adm. Contab. e Atuária  (3)
6. IF - Instituto de Física  (1)
7. FFCLRP - Fac. Fil. Ciên. Let. de R. Preto  (1)
8. EESC - Esc. Engenharia de São Carlos  (1)
9. FMRAD - Fac. Medicina-Depto. Radiologia  (1)
10. FZEA - Fac. Zoot. Eng. de Alimentos  (1)
11. FMRP - Fac. Medicina de Ribeirão Preto  (1)
12. IAG - Inst. Ast. Geo. Ciên. Atmosféricas  (1)
13. EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval  (1)
14. PUSPSC - Prefeitura do Campus USP de São Carlos  (1)
15. EACH - Esc. Artes, Ciências e Humanidades  (1)
16. Mais opções 

Idioma 

1. Inglês  (63)
2. Português  (6)
3. Francês  (1)
4. Mais opções 

Nome da Publicação 

1. Lecture Notes in Computer Science  (1)
2. iSys, Revista Brasileira de Sistemas de Informação  (1)
3. Mais opções