Refinar Meus Resultados

Tipo de Recurso 

1. Artigos  (669.332)
2. Book Chapters  (194.673)
3. Anais de Congresso  (161.510)
4. magazinearticle  (45.187)
5. Newsletter Articles  (24.092)
6. Livros  (23.055)
7. Verbetes  (14.256)
8. Resenhas  (13.520)
9. Dissertações  (8.950)
10. Reports  (6.105)
11. Artigos de Jornal  (4.226)
12. Recursos Textuais  (418)
13. Conjunto de Dados  (241)
14. Standards  (123)
15. Web Resources  (108)
16. Patentes  (86)
17. Imagens  (73)
18. Videos  (53)
19. Outros  (20)
20. Produções Acadêmicas  (8)
21. Archival Material / Manuscripts  (6)
22. Produções Técnicas  (3)
23. Revistas  (3)
24. Mais opções 

Assunto 

1. Science & Technology  (493.629)
2. Technology  (408.322)
3. Computer Science  (319.887)
4. Engineering  (186.436)
5. Social Sciences  (118.710)
6. Engineering, Electrical & Electronic  (103.455)
7. Computer Science, Theory & Methods  (97.025)
8. Physical Sciences  (95.272)
9. Algorithms  (91.436)
10. Computer Science, Artificial Intelligence  (90.012)
11. Artificial Intelligence  (84.286)
12. Computer Science, Information Systems  (70.569)
13. Fuzzy Logic  (63.772)
14. Life Sciences & Biomedicine  (63.438)
15. Exact Sciences And Technology  (60.739)
16. Mathematics  (58.963)
17. Software  (56.295)
18. Computer Science, Software Engineering  (52.021)
19. Applied Sciences  (50.950)
20. Studies  (48.808)
21. Logic Programming  (10.851)
22. Computer Logic  (3.155)
23. Logic, Symbolic And Mathematical  (2.585)
24. Automatic Theorem Proving  (390)
25. Inteligência Artificial  (153)
26. Logic, Symbolic And Mathematical  (106)
27. Lógica Matemática  (98)
28. Logic Programming  (94)
29. Inteligência Artificial  (91)
30. Lógica Matemática  (87)
31. Metodologia E Técnicas De Computação  (60)
32. Teoria Da Computação  (51)
33. Inteligência Artificial (Congressos)  (47)
34. Automatic Theorem Proving  (44)
35. Ciência Da Computação  (36)
36. Técnicas De Programação (Congressos)  (35)
37. Programação Lógica  (35)
38. Programação Lógica (Congressos)  (34)
39. Técnicas De Programação  (33)
40. Computer Logic  (33)
41. Lógica Matemática (Congressos)  (31)
42. Linguagem De Programação  (23)
43. Arquitetura E Organização De Computadores  (22)
44. Computabilidade E Complexidade  (19)
45. Linguagem De Programação  (17)
46. Ciência Da Computação  (14)
47. Programação Lógica  (14)
48. Teoria Da Computação  (11)
49. Arquitetura E Organização De Computadores  (11)
50. Técnicas De Programação  (5)
51. Computabilidade E Complexidade  (3)
52. Mais opções 

Autor/Criador 

1. Workshop on Computer Science Logic  (30)
2. Finger, M  (17)
3. Börger, E  (12)
4. International Conference on Automated Deduction  (12)
5. International Conference on Conceptual Structures  (11)
6. Nerode, A  (10)
7. Wassermann, R  (9)
8. European Association for Computer Science Logic  (8)
9. European Association for Computer Science Logic Conference  (8)
10. International Workshop on Field-Programmable Logic and Applications  (8)
11. Voronkov, A  (8)
12. Gabbay, D  (8)
13. Hartenstein, R  (7)
14. International Workshop on Programming Languages Implementation and Logic Programming  (6)
15. International Colloquium on Grammatical Inference  (6)
16. Silva, A  (6)
17. Corpo Editorial  (6)
18. Richter, M  (6)
19. International Conference on Logic Programming  (5)
20. Santos, R  (5)
21. Mais opções 

Data de Publicação 

1. Antes de1960  (566)
2. 1960Até1975  (9.443)
3. 1976Até1991  (48.102)
4. 1992Até2008  (313.632)
5. Após 2008  (809.820)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (410)
2. ICMC - Inst. Ciên. Mat. Computação  (318)
3. IFSC - Inst. Física de São Carlos  (106)
4. EPBC - Esc. Politécnica-Bib Central  (38)
5. EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval  (15)
6. FFLCH - Fac. Fil. Let. e Ciências Humanas  (9)
7. FEA - Fac. Econ. Adm. Contab. e Atuária  (9)
8. IF - Instituto de Física  (7)
9. IAG - Inst. Ast. Geo. Ciên. Atmosféricas  (3)
10. FFCLRP - Fac. Fil. Ciên. Let. de R. Preto  (2)
11. FE - Faculdade de Educação  (1)
12. EPECP - Esc. Politécnica-Bib Eng Civil e Prod  (1)
13. CQ - Conjunto das Químicas  (1)
14. IGC - Instituto de Geociências  (1)
15. EACH - Esc. Artes, Ciências e Humanidades  (1)
16. Mais opções 

Base de Dados/Biblioteca 

1. Science Citation Index Expanded (Web of Science)  (303.797)
2. Gale Academic OneFile  (231.532)
3. EZB Free E-Journals  (215.955)
4. DOAJ Directory of Open Access Journals  (145.631)
5. ROAD: Directory of Open Access Scholarly Resources  (138.617)
6. IngentaConnect Journals  (135.476)
7. Springer Books  (117.635)
8. SpringerLink Journals (MCLS)  (107.171)
9. Springer Nature - Springer Journals All 2022  (92.182)
10. EBSCOhost Academic Search Premier  (91.344)
11. EBSCOhost Computers and Applied Sciences Complete  (80.582)
12. EBSCOhost Business Source Complete  (79.914)
13. BACON - Mir@bel - GLOBAL_LIBRESACCES  (78.117)
14. ACM Digital Library  (76.532)
15. SpringerLINK Lecture Notes in Computer Science (2015)  (73.804)
16. SpringerLINK Lecture Notes in Computer Science  (69.476)
17. Journals@Ovid  (61.941)
18. IEEE Electronic Library (IEL) Conference Proceedings  (56.851)
19. Materials Research Database  (55.804)
20. Wiley Online Library - AutoHoldings Journals  (54.322)
21. Mais opções 

Idioma 

1. Inglês  (1.152.824)
2. Japonês  (34.994)
3. Espanhol  (5.971)
4. Ndongo  (5.553)
5. Português  (5.019)
6. Chinês  (4.692)
7. Alemão  (4.057)
8. Francês  (2.474)
9. Russo  (651)
10. Italiano  (472)
11. Norueguês  (355)
12. Tcheco  (230)
13. Turco  (196)
14. Coreano  (189)
15. Polonês  (165)
16. Interlingue  (117)
17. Ucraniano  (115)
18. Lituano  (112)
19. Croatian  (111)
20. Africâner  (107)
21. Indeterminado  (5)
22. Mais opções 

Nome da Publicação 

1. Arxiv.Org  (22.827)
2. Arxiv  (9.457)
3. Soft Computing  (8.656)
4. Electronic Engineering Times  (5.491)
5. Journal Of Physics. Conference Series  (4.825)
6. Sensors  (4.633)
7. Journal Of Physics: Conference Series  (4.523)
8. Plos One  (3.880)
9. Electronics  (3.731)
10. Applied Sciences  (3.638)
11. Electronic Notes In Theoretical Computer Science  (1.728)
12. Lecture Notes In Computer Science  (879)
13. Lecture Notes in Computer Science  (18)
14. Proceedings  (17)
15. Magma  (13)
16. Proceedings  (8)
17. Cadernos de Literatura em Tradução  (6)
18. Via Atlântica  (6)
19. Comunicação & Educação  (6)
20. Linha D'Água  (5)
21. Revista de História  (5)
22. Filologia e Linguística Portuguesa  (5)
23. Cadernos de Filosofia Alemã: Crítica e Modernidade  (5)
24. Literatura e Sociedade  (5)
25. Magma  (5)
26. Cadernos de Campo (São Paulo - 1991)  (5)
27. Electronic Notes in Theoretical Computer Science  (5)
28. Revista de Italianística  (5)
29. Estudos Avançados  (5)
30. InCID: Revista de Ciência da Informação e Documentação  (4)
31. Opiniães  (4)
32. RUS (São Paulo)  (4)
33. Revista Música  (4)
34. Revista do Museu de Arqueologia e Etnologia  (4)
35. Revista Do Museu De Arqueologia E Etnologia  (1)
36. Mais opções