Refinar Meus Resultados

Tipo de Recurso 

1. Livros  (854)
2. Artigos  (28)
3. Produções Acadêmicas  (15)
4. Recursos Textuais  (1)
5. Revistas  (1)
6. Mais opções 

Assunto 

1. Logic, Symbolic And Mathematical  (446)
2. Lógica Matemática  (378)
3. Logic  (115)
4. Inteligência Artificial  (112)
5. Lógica Simbólica  (105)
6. Logic Programming  (92)
7. Matemática  (81)
8. Lógica  (74)
9. Mathematics  (67)
10. Inteligência Artificial (Congressos)  (44)
11. Lógica Matemática (Textos Avançados)  (41)
12. Metodologia E Técnicas De Computação  (41)
13. Lógica Matemática (Congressos)  (38)
14. Automatic Theorem Proving  (35)
15. Artificial Intelligence  (33)
16. Teoria Da Computação  (33)
17. Mathematical logic  (31)
18. Set Theory  (29)
19. Computer Logic  (28)
20. Computer Science  (28)
21. Mais opções 

Autor/Criador 

1. Gabbay, D  (17)
2. Finger, M  (15)
3. Logic Colloquium  (14)
4. Association for Symbolic Logic  (12)
5. Workshop on Computer Science Logic  (11)
6. Barwise, J  (11)
7. Quine, W  (10)
8. Hintikka, J  (9)
9. International Conference on Automated Deduction  (9)
10. International Conference on Conceptual Structures  (8)
11. Börger, E  (7)
12. Tarski, A  (7)
13. Curry, H  (6)
14. Robinson, A  (6)
15. International Union of the History and Philosophy of Science Division of Logic, M  (6)
16. Dix, J  (6)
17. Voronkov, A  (6)
18. Wang, H  (6)
19. Benthem, J  (6)
20. Copi, I  (6)
21. Mais opções 

Data de Publicação 

1. Antes de1961  (82)
2. 1961Até1975  (204)
3. 1976Até1990  (160)
4. 1991Até2006  (322)
5. Após 2006  (142)
6. Mais opções 

Biblioteca 

1. ICMC - Inst. Ciên. Mat. Computação  (307)
2. FFLCH - Fac. Fil. Let. e Ciências Humanas  (105)
3. FEA - Fac. Econ. Adm. Contab. e Atuária  (75)
4. EPBC - Esc. Politécnica-Bib Central  (50)
5. IFSC - Inst. Física de São Carlos  (50)
6. IF - Instituto de Física  (34)
7. EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval  (17)
8. FE - Faculdade de Educação  (17)
9. IAG - Inst. Ast. Geo. Ciên. Atmosféricas  (12)
10. FFCLRP - Fac. Fil. Ciên. Let. de R. Preto  (8)
11. IP - Instituto de Psicologia  (7)
12. EACH - Esc. Artes, Ciências e Humanidades  (5)
13. FAU - Fac. Arquitetura e Urbanismo  (5)
14. EERP - Esc. Enfermagem Ribeirão Preto  (5)
15. FD - Fac. Direito  (5)
16. ESALQ - Biblioteca Central  (4)
17. EEFE - Esc. Educação Física e Esporte  (4)
18. EESC - Esc. Engenharia de São Carlos  (3)
19. CDCC - Cent. Div. Científica e Cultural  (3)
20. Mais opções 

Idioma 

1. Inglês  (807)
2. Francês  (46)
3. Português  (21)
4. Alemão  (20)
5. Espanhol  (11)
6. Italiano  (3)
7. Norueguês  (1)
8. Russo  (1)
9. Indeterminado  (1)
10. Romeno  (1)
11. Mais opções 

Nome da Publicação 

1. Proceedings  (10)
2. International Journal of Approximate Reasoning  (4)
3. Electronic Notes in Theoretical Computer Science  (3)
4. South American Journal of Logic  (2)
5. Signal Processing  (2)
6. Archive for Mathematical Logic  (1)
7. Logic Journal of the Igpl  (1)
8. Logic, language and reasoning : essays in honour of Dov Gabbay  (1)
9. Logica universalis  (1)
10. Journal of Automated Reasoning  (1)
11. The Exoteric Square of Opposition  (1)
12. Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I  (1)
13. Mathematical Structures in Computer Science  (1)
14. Boletin de matematicas  (1)
15. Proceeding  (1)
16. Lecture Notes in Artificial Intelligence  (1)
17. Mais opções