Refinar Meus Resultados

Assunto 

1. Logic, Symbolic And Mathematical  (4)
2. Teoria Da Computação  (4)
3. Lógica Matemática  (4)
4. Computer Science  (2)
5. Técnicas De Programação  (2)
6. Inteligência Artificial  (2)
7. Programação Lógica  (2)
8. Logic Programming  (2)
9. Teoria Dos Autômatos  (1)
10. Computadores Híbridos E Analógicos (Congressos)  (1)
11. Nonmonotonic Reasoning  (1)
12. Nerode, Anil 1932-  (1)
13. Computers  (1)
14. Ciência Da Computação (Congressos)  (1)
15. Computabilidade E Complexidade  (1)
16. Machine Theory  (1)
17. Electronic Data Processing  (1)
18. Semântica De Programação (Congressos)  (1)
19. Hardware  (1)
20. Mais opções 

Autor/Criador 

1. Nerode  (2)
2. Adian, S  (2)
3. Sacks, G  (2)
4. Odifreddi, P  (2)
5. Platek, R  (2)
6. Scedrov, A  (2)
7. Sergei Artemov, A  (1)
8. Kanade, T  (1)
9. Matiyasevich, Y  (1)
10. Meeting on Logic and Computer Science  (1)
11. Truszczynski, M  (1)
12. Artemov, S  (1)
13. Matii︠a︡sevich  (1)
14. Kittler, J  (1)
15. Furbach, U  (1)
16. Dix, J  (1)
17. LPNMR '97  (1)
18. Homer  (1)
19. Kohn, W  (1)
20. Mais opções 

Data de Publicação 

1. Antes de1993  (4)
2. 1993Até1994  (3)
3. 1995Até1996  (3)
4. 1997Até2007  (7)
5. Após 2007  (2)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (11)
2. ICMC - Inst. Ciên. Mat. Computação  (8)
3. IFSC - Inst. Física de São Carlos  (3)
4. IF - Instituto de Física  (1)
5. Mais opções