Refinar Meus Resultados

Tipo de Recurso 

1. Artigos  (118.310)
2. Reports  (2.012)
3. magazinearticle  (1.240)
4. Livros  (689)
5. Book Chapters  (553)
6. Anais de Congresso  (375)
7. Resenhas  (55)
8. Verbetes  (44)
9. Dissertações  (14)
10. Web Resources  (12)
11. Newsletter Articles  (8)
12. Conjunto de Dados  (2)
13. Recursos Textuais  (1)
14. Mais opções 

Assunto 

1. Science & Technology  (71.839)
2. Mathematics  (69.135)
3. Mathematical Theorems  (66.252)
4. Physical Sciences  (61.248)
5. Mathematical Analysis  (25.830)
6. Theorems  (24.905)
7. Mathematics, Applied  (22.721)
8. Algebra  (21.919)
9. Mathematical Functions  (21.513)
10. Integers  (16.496)
11. Exact Sciences And Technology  (16.417)
12. Sciences And Techniques Of General Use  (13.987)
13. Mathematical Models  (13.595)
14. Statistics & Probability  (11.026)
15. Polynomials  (10.803)
16. Bayes Theorem  (10.080)
17. Technology  (8.542)
18. Life Sciences & Biomedicine  (8.039)
19. Mathematics And Statistics  (8.028)
20. Studies  (7.831)
21. Automatic Theorem Proving  (196)
22. Logic, Symbolic And Mathematical  (134)
23. Mathematical Statistics  (125)
24. Automatic Theorem Proving  (36)
25. Logic, Symbolic And Mathematical  (32)
26. Inteligência Artificial  (22)
27. Limit Theorems (Probability Theory)  (15)
28. Fermat's Theorem  (14)
29. Lógica Matemática  (14)
30. Lógica Matemática  (13)
31. Atiyah-Singer Index Theorem  (11)
32. Gödel's Theorem  (10)
33. Inteligência Artificial (Congressos)  (10)
34. Probabilidade  (8)
35. Gödel'S Theorem  (8)
36. Processos Estocásticos  (8)
37. Teoremas Limites  (8)
38. Teorema De Godel’s  (7)
39. Análise Funcional  (5)
40. Teoria Da Computação  (5)
41. Probabilidade  (5)
42. Mathematical Statistics  (5)
43. Th Eor Emes  (5)
44. Prova Automática De Teoremas  (5)
45. Atiyah-Singer Index Theorem  (4)
46. História Da Matemática  (4)
47. Fermat'S Theorem  (4)
48. Inteligência Artificial  (4)
49. Teoremas Limites  (3)
50. Processos Estocásticos  (1)
51. Análise Funcional  (1)
52. Mais opções 

Autor/Criador 

1. International Conference on Automated Deduction  (12)
2. International Workshop on Automated Deduction in Geometry  (4)
3. Booss, B  (3)
4. Wang, D  (3)
5. Siekmann, J  (2)
6. Zaæiëtìsev, A  (2)
7. Heath, T  (2)
8. Shiryaev, A  (2)
9. Shiriaev, A  (2)
10. Heyde, C  (2)
11. Hall, P  (2)
12. Bleecker, D  (2)
13. Jacod  (2)
14. Ibragimov, I  (2)
15. Serfling, R  (2)
16. Roe, J  (2)
17. Smith, P  (2)
18. Asperti, A  (2)
19. Buchberger, B  (2)
20. Conference on Automated Deduction  (2)
21. Mais opções 

Data de Publicação 

1. Antes de1958  (7.879)
2. 1958Até1973  (13.789)
3. 1974Até1989  (20.846)
4. 1990Até2006  (27.746)
5. Após 2006  (53.788)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (63)
2. ICMC - Inst. Ciên. Mat. Computação  (44)
3. FFLCH - Fac. Fil. Let. e Ciências Humanas  (8)
4. IFSC - Inst. Física de São Carlos  (8)
5. FEA - Fac. Econ. Adm. Contab. e Atuária  (8)
6. EPBC - Esc. Politécnica-Bib Central  (6)
7. IF - Instituto de Física  (4)
8. FFCLRP - Fac. Fil. Ciên. Let. de R. Preto  (1)
9. FSP - Faculdade de Saúde Pública  (1)
10. FMRP - Fac. Medicina de Ribeirão Preto  (1)
11. EPECP - Esc. Politécnica-Bib Eng Civil e Prod  (1)
12. Mais opções 

Base de Dados/Biblioteca 

1. JSTOR  (74.632)
2. EZB Electronic Journals Library  (69.002)
3. JSTOR Mathematics and Statistics  (67.982)
4. Science Citation Index Expanded (Web of Science)  (67.709)
5. BACON - Mir@bel - GLOBAL_LIBRESACCES  (49.895)
6. JSTOR Arts and Sciences I Collection  (46.165)
7. American Mathematical Society Publications  (28.357)
8. JSTOR Early Journal Content  (22.105)
9. Project Euclid  (16.722)
10. SpringerLink  (16.132)
11. NUS Single-Journal Subscriptions  (15.053)
12. ROAD: Directory of Open Access Scholarly Resources  (13.603)
13. Springer Nature - Springer Journals All 2022  (13.444)
14. Gale Academic OneFile  (12.611)
15. Project Euclid Direct  (12.454)
16. IngentaConnect Journals  (12.092)
17. JSTOR Arts & Sciences XV  (11.622)
18. Academic Search Premier (EB_SDU_P3)  (11.388)
19. DOAJ Directory of Open Access Journals  (8.198)
20. WK Lippincott Williams & Wilkins–Connect here FIRST to enable access  (8.154)
21. Mais opções 

Idioma 

1. Inglês  (123.252)
2. Japonês  (6.876)
3. Francês  (228)
4. Catalão  (120)
5. Alemão  (93)
6. Russo  (28)
7. Norueguês  (23)
8. Português  (15)
9. Espanhol  (11)
10. Chinês  (10)
11. Italiano  (3)
12. Croatian  (3)
13. Tcheco  (2)
14. Turco  (2)
15. Letão  (1)
16. Latim  (1)
17. Árabe  (1)
18. Polonês  (1)
19. Grego  (1)
20. Esloveno  (1)
21. Africâner  (1)
22. Mais opções 

Nome da Publicação 

1. Proceedings Of The American Mathematical Society  (16.599)
2. Transactions Of The American Mathematical Society  (8.996)
3. Arxiv.Org  (5.837)
4. The American Mathematical Monthly  (3.840)
5. American Journal Of Mathematics  (2.897)
6. Annals Of Mathematics  (2.769)
7. The Journal Of Symbolic Logic  (2.577)
8. Arxiv  (2.328)
9. The Rocky Mountain Journal Of Mathematics  (1.859)
10. Proceedings Of The National Academy Of Sciences - Pnas  (1.832)
11. Revista De Saúde Pública  (2)
12. Revista de Saúde Pública  (1)
13. Mais opções