Refinar Meus Resultados

Tipo de Recurso 

1. Anais de Congresso  (42)
2. Livros  (23)
3. Artigos  (19)
4. Book Chapters  (6)
5. Conjunto de Dados  (1)
6. Mais opções 

Assunto 

1. Science & Technology  (63)
2. Computer Science  (62)
3. Technology  (57)
4. Computer Science, Theory & Methods  (55)
5. Exact Sciences And Technology  (45)
6. Applied Sciences  (44)
7. Computer Science; Control Theory; Systems  (44)
8. Theoretical Computing  (42)
9. Programming Theory  (34)
10. Mathematics  (19)
11. Logic  (17)
12. Logic, Symbolic And Mathematical  (12)
13. Physical Sciences  (12)
14. Mathematical Logic  (9)
15. Science & Technology - Other Topics  (8)
16. Computational Complexity  (8)
17. Polynomials  (8)
18. Lógica Matemática  (7)
19. Complexity Theory  (7)
20. Model Theory  (6)
21. Mathematical Logic And Foundations  (6)
22. Algorithmics. Computability. Computer Arithmetics  (6)
23. Algorithms  (5)
24. Mathematical Models  (4)
25. Model Theory  (3)
26. Lógica Matemática  (3)
27. Topological Spaces  (2)
28. Teoria Dos Modelos  (2)
29. Topological Spaces  (1)
30. Computer Logic  (1)
31. Algorithms  (1)
32. Linguagens Formais  (1)
33. Topologia  (1)
34. Teoria Dos Modelos  (1)
35. Mathematical models  (1)
36. Teoria Da Computação  (1)
37. Computer Logic  (1)
38. Lógica  (1)
39. Mais opções 

Autor/Criador 

1. Flum, J  (14)
2. Ebbinghaus, H  (7)
3. Thomas, W  (5)
4. Ebbinghaus  (2)
5. Workshop on Computer Science Logic  (2)
6. Rodríguez Artalejo, M  (2)
7. Grädel, E  (1)
8. European Association for Computer Science Logic Conference  (1)
9. van Leeuwen, J  (1)
10. Gra�del  (1)
11. Lerman, M  (1)
12. Hodges, W  (1)
13. Wilke, T  (1)
14. Ziegler, M  (1)
15. Grohe, M  (1)
16. European Association for Computer Science Logic  (1)
17. Mais opções 

Data de Publicação 

1. Antes de1984  (5)
2. 1984Até1994  (9)
3. 1995Até1999  (48)
4. 2000Até2005  (15)
5. Após 2005  (19)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (6)
2. ICMC - Inst. Ciên. Mat. Computação  (4)
3. FFLCH - Fac. Fil. Let. e Ciências Humanas  (1)
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)  (55)
2. SpringerLINK Lecture Notes in Computer Science (2015)  (41)
3. SpringerLINK Lecture Notes in Computer Science Archive (Through 1996)  (41)
4. IngentaConnect Journals  (27)
5. EZB Free E-Journals  (8)
6. IEEE Electronic Library (IEL) Conference Proceedings  (7)
7. Springer Books Online Archive  (7)
8. Springer Books  (7)
9. JSTOR Mathematics & Statistics  (5)
10. ScienceDirect®  (5)
11. JSTOR  (5)
12. Project Euclid Complete  (5)
13. JSTOR Complete Journals  (5)
14. Project Euclid Direct  (5)
15. Cambridge Journals - Connect here FIRST to enable access  (5)
16. EBSCOhost Computers and Applied Sciences Complete  (4)
17. Business Source Complete  (3)
18. EBSCOhost Academic Search Premier  (3)
19. Wiley Online Library - AutoHoldings Journals  (2)
20. SpringerLINK Lecture Notes in Mathematics Archive (Through 1996)  (2)
21. Mais opções 

Idioma 

1. Inglês  (89)
2. Japonês  (6)
3. Alemão  (3)
4. Mais opções 

Nome da Publicação 

1. The Journal Of Symbolic Logic  (5)
2. Theoretical Computer Science  (4)
3. Siam Journal On Computing  (2)
4. Mathematical Logic Quarterly  (2)
5. Information And Computation  (1)
6. Library Trends  (1)
7. Journal Of The Acm  (1)
8. Archiv Für Mathematische Logik Und Grundlagenforschung  (1)
9. Mathematische Zeitschrift  (1)
10. Journal Of Logic And Computation  (1)
11. Mais opções