Refinar Meus Resultados

Tipo de Recurso 

1. Artigos  (277.461)
2. Anais de Congresso  (100.015)
3. Book Chapters  (19.506)
4. Newsletter Articles  (15.286)
5. Reports  (7.186)
6. Livros  (7.072)
7. magazinearticle  (6.294)
8. Resenhas  (4.575)
9. Verbetes  (1.437)
10. Dissertações  (1.101)
11. Conjunto de Dados  (386)
12. Recursos Textuais  (173)
13. Web Resources  (140)
14. Artigos de Jornal  (125)
15. Videos  (92)
16. Archival Material / Manuscripts  (57)
17. Standards  (56)
18. Imagens  (23)
19. Outros  (2)
20. Audio  (1)
21. Produções Técnicas  (1)
22. Mais opções 

Assunto 

1. Science & Technology  (216.169)
2. Technology  (171.507)
3. Computer Science  (109.228)
4. Engineering  (108.491)
5. Logic  (101.740)
6. Fuzzy Logic  (84.920)
7. Engineering, Electrical & Electronic  (79.858)
8. Physical Sciences  (62.615)
9. Mathematics  (46.484)
10. Logic Gates  (44.883)
11. Computer Science, Artificial Intelligence  (36.845)
12. Algorithms  (35.043)
13. Exact Sciences And Technology  (33.831)
14. Science & Technology - Other Topics  (33.715)
15. Philosophy  (32.905)
16. Computer Science, Theory & Methods  (31.542)
17. Artificial Intelligence  (30.005)
18. Arts & Humanities  (28.328)
19. Physics  (24.789)
20. Applied Sciences  (23.836)
21. Mathematical Logic  (17.406)
22. Logic Programming  (11.455)
23. Computer Logic  (3.973)
24. Logic, Symbolic And Mathematical  (2.115)
25. Lógica  (580)
26. Lógica Matemática  (155)
27. Programmation Logique  (108)
28. Matemática  (65)
29. Lógica Matemática  (62)
30. Logic, Symbolic And Mathematical  (53)
31. Lógica Simbólica  (47)
32. Inteligência Artificial  (40)
33. Lógica Modal  (24)
34. Logic Programming  (20)
35. Inteligência Artificial  (18)
36. Lógica  (18)
37. Lógica Simbólica  (14)
38. Inteligência Artificial (Congressos)  (14)
39. Computer Logic  (12)
40. Programmation Logique  (10)
41. Mathematical logic  (10)
42. Lógica Modal  (9)
43. Técnicas De Programação (Congressos)  (8)
44. Programação Lógica (Congressos)  (8)
45. Lógica Matemática (Textos Avançados)  (7)
46. Matemática  (7)
47. Sistemas Lógicos Não Clássicos  (7)
48. Mais opções 

Autor/Criador 

1. Gabbay, D  (14)
2. Barwise, J  (7)
3. Hintikka, J  (6)
4. Cohen, R  (3)
5. Srzednicki, J  (3)
6. Schwichtenberg, H  (3)
7. Davidson, D  (3)
8. Basin, D  (2)
9. Hunter, A  (2)
10. Koslow, A  (2)
11. Girard, J  (2)
12. Goli nska-Pilarek, J  (2)
13. International Conference on Logic Programming  (2)
14. Fages, F  (2)
15. Benthem, J  (2)
16. van Benthem, J  (2)
17. London Mathematical Society  (2)
18. Orlowska, E  (2)
19. Quine, W  (2)
20. Wartofsky, M  (2)
21. Mais opções 

Data de Publicação 

1. Antes de1957  (2.169)
2. 1957Até1973  (8.037)
3. 1974Até1990  (22.283)
4. 1991Até2008  (127.950)
5. Após 2008  (282.963)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (107)
2. FFLCH - Fac. Fil. Let. e Ciências Humanas  (49)
3. ICMC - Inst. Ciên. Mat. Computação  (46)
4. IFSC - Inst. Física de São Carlos  (7)
5. EPBC - Esc. Politécnica-Bib Central  (6)
6. FEA - Fac. Econ. Adm. Contab. e Atuária  (5)
7. EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval  (4)
8. EACH - Esc. Artes, Ciências e Humanidades  (3)
9. FFCLRP - Fac. Fil. Ciên. Let. de R. Preto  (2)
10. IF - Instituto de Física  (1)
11. FE - Faculdade de Educação  (1)
12. FD - Fac. Direito  (1)
13. EE - Escola de Enfermagem  (1)
14. FZEA - Fac. Zoot. Eng. de Alimentos  (1)
15. CQ - Conjunto das Químicas  (1)
16. IQSC - Inst. Química de São Carlos  (1)
17. Mais opções 

Base de Dados/Biblioteca 

1. Science Citation Index Expanded (Web of Science)  (143.693)
2. EZB Electronic Journals Library  (66.182)
3. IEEE Electronic Library (IEL) Conference Proceedings  (62.652)
4. ROAD: Directory of Open Access Scholarly Resources  (58.564)
5. SpringerLink  (53.880)
6. Gale Academic OneFile Select  (53.687)
7. IEEE Electronic Library (IEL) Journals  (50.898)
8. Springer Nature - Springer Journals All 2022  (50.883)
9. JSTOR  (41.912)
10. DOAJ Directory of Open Access Journals  (39.303)
11. ScienceDirect - Connect here FIRST to enable access  (34.284)
12. arXiv.org  (32.687)
13. IngentaConnect Journals  (31.958)
14. Free E- Journals  (31.026)
15. WK Lippincott Williams & Wilkins–Connect here FIRST to enable access  (29.232)
16. Academic Search Premier  (27.955)
17. BACON - Mir@bel - GLOBAL_LIBRESACCES  (24.430)
18. ACM Digital Library  (20.371)
19. ANTE: Abstracts in New Technology & Engineering  (19.887)
20. EBSCOhost Computers and Applied Sciences Complete  (19.667)
21. Mais opções 

Idioma 

1. Inglês  (435.094)
2. Japonês  (16.237)
3. Espanhol  (2.862)
4. Português  (1.522)
5. Alemão  (1.284)
6. Francês  (1.238)
7. Chinês  (400)
8. Russo  (338)
9. Eslovaco  (274)
10. Tcheco  (249)
11. Catalão  (204)
12. Persa  (180)
13. Italiano  (176)
14. Polonês  (139)
15. Turco  (128)
16. Croatian  (126)
17. Norueguês  (112)
18. Sueco  (78)
19. Árabe  (76)
20. Indonésio  (62)
21. Mais opções 

Nome da Publicação 

1. arXiv.org  (28.524)
2. Arxiv  (12.591)
3. Soft Computing  (8.354)
4. Synthese  (6.532)
5. Ieee Transactions On Electron Devices  (5.567)
6. The Journal Of Symbolic Logic  (4.771)
7. Ieee Access  (3.102)
8. Ieee Electron Device Letters  (2.971)
9. Fuzzy Sets And Systems  (2.694)
10. Lobachevskii Journal Of Mathematics  (2.662)
11. Lecture Notes in Artificial Intelligence  (4)
12. Lecture Notes In Artificial Intelligence  (2)
13. South American Journal of Logic  (2)
14. Boletin de matematicas  (1)
15. Revista Brasileira de Meio Ambiente  (1)
16. Mais opções