Refinar Meus Resultados

Tipo de Recurso 

1. Artigos  (779)
2. magazinearticle  (174)
3. Book Chapters  (90)
4. Anais de Congresso  (63)
5. Livros  (27)
6. Resenhas  (22)
7. Verbetes  (16)
8. Conjunto de Dados  (10)
9. Reports  (9)
10. Videos  (2)
11. Artigos de Jornal  (1)
12. Dissertações  (1)
13. Mais opções 

Assunto 

1. Science & Technology  (451)
2. Life Sciences & Biomedicine  (330)
3. Humans  (203)
4. Biological And Medical Sciences  (172)
5. Female  (170)
6. Animals  (130)
7. Male  (129)
8. Neurosciences & Neurology  (114)
9. Medical Sciences  (109)
10. Technology  (91)
11. Adult  (91)
12. Computer Science  (88)
13. Ecology  (80)
14. Neurology  (80)
15. Clinical Neurology  (78)
16. Neurosciences  (76)
17. Computer Science, Theory & Methods  (74)
18. Fundamental And Applied Biological Sciences. Psychology  (74)
19. Social Sciences  (74)
20. Middle Aged  (74)
21. Lambda Calculus  (4)
22. Teoria Da Computação  (3)
23. Lógica Matemática  (3)
24. Computer Software  (2)
25. Ciência Da Computação  (2)
26. Metodologia E Técnicas De Computação  (1)
27. Lambda Calculus  (1)
28. Proof Theory  (1)
29. Computer Software  (1)
30. Teoria Da Demonstração  (1)
31. Lógica Categórica  (1)
32. Proof Theory  (1)
33. Linguagens Formais  (1)
34. Programação Lógica (Congressos)  (1)
35. Lógica Algébrica  (1)
36. Mais opções 

Autor/Criador 

1. Abramsky, S  (17)
2. Aczel, P  (9)
3. Gurevich, Y  (6)
4. Van Rijsbergen, C  (5)
5. Tucker, J  (5)
6. Maibaum, T  (4)
7. International Joint Conference on Theory and Practice of Software Development  (3)
8. Bakker, J  (3)
9. International Conference on Typed Lambda Calculi and Applications  (2)
10. Curien, P  (2)
11. Hindley, J  (1)
12. Winslett, M  (1)
13. Poigne, A  (1)
14. Pitts, A  (1)
15. Troelstra, A  (1)
16. Pitt, D  (1)
17. Gabbay, D  (1)
18. Amadio, R  (1)
19. Vollmer, H  (1)
20. Mauw, S  (1)
21. Mais opções 

Data de Publicação 

1. Antes de1973  (29)
2. 1973Até1984  (82)
3. 1985Até1996  (166)
4. 1997Até2009  (488)
5. Após 2009  (434)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (5)
2. ICMC - Inst. Ciên. Mat. Computação  (3)
3. EPBC - Esc. Politécnica-Bib Central  (2)
4. IFSC - Inst. Física de São Carlos  (1)
5. Mais opções 

Base de Dados/Biblioteca 

1. Science Citation Index Expanded (Web of Science)  (403)
2. Publisher website  (321)
3. Gale Academic OneFile (Gale Reference Complete)  (319)
4. EZB-FREE-00999 freely available EZB journals  (284)
5. Journals@OVID  (236)
6. Academic Search Premier (EB_SDU_P3)  (235)
7. ScienceDirect  (223)
8. Medline Complete【キャンパス外アクセス可】  (156)
9. ROAD: Directory of Open Access Scholarly Resources  (154)
10. JSTOR  (130)
11. ClinicalKey  (112)
12. PubMed (Medline)  (112)
13. Lecture Notes in Computer Science Archive (through to 1996)  (111)
14. SpringerLINK Lecture Notes in Computer Science (2015)  (109)
15. JSTOR Life Sciences Collection  (106)
16. Wiley Online Library  (92)
17. Open Access: Freely Accessible Journals by multiple vendors  (87)
18. DOAJ Directory of Open Access Journals  (85)
19. Springer Nature  (84)
20. arXiv.org  (81)
21. Mais opções 

Idioma 

1. Inglês  (1.183)
2. Japonês  (45)
3. Hebraico  (6)
4. Russo  (2)
5. Francês  (1)
6. Indonésio  (1)
7. Alemão  (1)
8. Português  (1)
9. Chinês  (1)
10. Mais opções 

Nome da Publicação 

1. The Nation  (103)
2. arXiv.org  (76)
3. Journal Of Neuroimmunology  (35)
4. Journal Of The Neurological Sciences  (32)
5. Arxiv  (31)
6. Oikos  (25)
7. The Lancet  (22)
8. The American Prospect  (22)
9. Archives Of Neurology  (20)
10. Multiple Sclerosis  (16)
11. Mais opções