Refinar Meus Resultados

Tipo de Recurso 

1. Artigos  (4.286)
2. Anais de Congresso  (787)
3. Livros  (388)
4. Book Chapters  (133)
5. Reports  (57)
6. magazinearticle  (32)
7. Dissertações  (25)
8. Conjunto de Dados  (17)
9. Recursos Textuais  (3)
10. Verbetes  (2)
11. Computer Files  (2)
12. Newsletter Articles  (1)
13. Videos  (1)
14. Produções Acadêmicas  (1)
15. Archival Material / Manuscripts  (1)
16. Resenhas  (1)
17. Mais opções 

Assunto 

1. Theorem Proving  (3.282)
2. Science & Technology  (2.660)
3. Theorems  (1.931)
4. Computer Science  (1.912)
5. Technology  (1.786)
6. Mathematics  (1.246)
7. Physical Sciences  (1.094)
8. Mathematical Analysis  (792)
9. Proving  (763)
10. Artificial Intelligence  (625)
11. Computer Science, Theory & Methods  (615)
12. Mathematics, Applied  (538)
13. Computer Science, Artificial Intelligence  (486)
14. Computer Science, Software Engineering  (476)
15. Automatic Theorem Proving  (463)
16. Logic  (450)
17. Algorithms  (417)
18. Automated Theorem Proving  (404)
19. Exact Sciences And Technology  (360)
20. Computer Science - Logic In Computer Science  (355)
21. Logic Programming  (157)
22. Geometry  (139)
23. Logic, Symbolic And Mathematical  (123)
24. Automatisches Beweisverfahren  (98)
25. Computer Programming  (96)
26. Inteligência Artificial  (54)
27. Logic, Symbolic And Mathematical  (28)
28. Lógica Matemática  (23)
29. Inteligência Artificial (Congressos)  (19)
30. Th Eor Emes  (12)
31. Prova Automática De Teoremas  (12)
32. Lógica Matemática  (10)
33. Information Storage And Retrieval Systems  (9)
34. Teoria Da Computação  (9)
35. Logic Programming  (8)
36. Computer Programming  (8)
37. Prova Automática De Teoremas (Congressos)  (7)
38. D Emonstration Automatique De Th Eor Emes  (6)
39. Metodologia E Técnicas De Computação  (6)
40. Geometry  (5)
41. Information Storage And Retrieval Systems  (4)
42. Técnicas De Programação  (4)
43. Automatisches Beweisverfahren  (4)
44. Especificação De Sistemas E Programas  (4)
45. Inteligência Artificial  (4)
46. Mais opções 

Autor/Criador 

1. International Conference on Automated Deduction  (12)
2. Voronkov, A  (6)
3. Wang, D  (4)
4. International Workshop on Automated Deduction in Geometry  (4)
5. Siekmann, J  (3)
6. Loveland, D  (3)
7. Leitsch, A  (3)
8. Hartmanis, J  (2)
9. Windley, P  (2)
10. Nipkow, T  (2)
11. Kapur, D  (2)
12. Wu, W  (2)
13. Gabbay, D  (2)
14. Altenkirch, T  (2)
15. Gopalakrishnan, G  (2)
16. International Conference on Mathematical Knowledge Management  (2)
17. Asperti, A  (2)
18. Buchberger, B  (2)
19. Conference on Automated Deduction  (2)
20. McAllester, D  (2)
21. Mais opções 

Data de Publicação 

1. Antes de1975  (50)
2. 1975Até1986  (171)
3. 1987Até1998  (650)
4. 1999Até2011  (1.898)
5. Após 2011  (3.062)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (86)
2. ICMC - Inst. Ciên. Mat. Computação  (82)
3. IFSC - Inst. Física de São Carlos  (22)
4. EPBC - Esc. Politécnica-Bib Central  (6)
5. EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval  (2)
6. FFLCH - Fac. Fil. Let. e Ciências Humanas  (1)
7. FEA - Fac. Econ. Adm. Contab. e Atuária  (1)
8. Mais opções 

Base de Dados/Biblioteca 

1. Science Citation Index Expanded (Web of Science)  (2.178)
2. ROAD: Directory of Open Access Scholarly Resources  (1.662)
3. Open Access: Freely Accessible Journals by multiple vendors  (1.370)
4. arXiv.org  (1.177)
5. SpringerLink  (1.079)
6. Springer Nature - Springer Journals All 2022  (925)
7. EZB Electronic Journals Library  (876)
8. ACM Digital Library  (859)
9. ScienceDirect®  (588)
10. Journals@Ovid Ovid Full Text  (563)
11. Computers & Applied Sciences Complete - EBSCO  (541)
12. Lecture Notes in Computer Science Archive (through to 1996)  (413)
13. SpringerLINK Lecture Notes in Computer Science (2015)  (363)
14. Gale Academic OneFile (Gale Reference Complete)  (345)
15. IngentaConnect Journals  (338)
16. Springer Books  (317)
17. DOAJ Directory of Open Access Journals  (270)
18. Academic Search Premier  (265)
19. Springer Books Online Archive  (250)
20. Aerospace Database  (248)
21. Mais opções 

Idioma 

1. Inglês  (5.719)
2. Japonês  (182)
3. Alemão  (5)
4. Francês  (4)
5. Chinês  (4)
6. Espanhol  (3)
7. Ndongo  (2)
8. Catalão  (2)
9. Letão  (1)
10. Português  (1)
11. Mais opções 

Nome da Publicação 

1. arXiv.org  (1.175)
2. Arxiv  (491)
3. Journal Of Automated Reasoning  (338)
4. Journal Of The Acm  (86)
5. Electronic Notes In Theoretical Computer Science  (78)
6. Information Processing Letters  (73)
7. Formal Aspects Of Computing  (59)
8. Theoretical Computer Science  (42)
9. Nonlinear Analysis  (40)
10. Journal Of Logic And Computation  (36)
11. Lecture Notes in Artificial Intelligence  (1)
12. Proceedings  (1)
13. Mais opções