Refinar Meus Resultados

Assunto 

1. Lógica Matemática  (16)
2. Modality (Logic)  (4)
3. Lógica Modal  (4)
4. Logic, Symbolic And Mathematical  (3)
5. Lógica Matemática (Textos Avançados)  (2)
6. Inteligência Artificial  (2)
7. Teoria Dos Conjuntos  (2)
8. Model Theory  (2)
9. Language And Logic  (2)
10. Modalit E (Logique)  (2)
11. Proof Theory  (2)
12. Teoria Dos Modelos  (2)
13. Hypersets  (1)
14. Teoria Dos Conjuntos (Textos Avançados)  (1)
15. Teoria Dos Modelos (Textos Avançados)  (1)
16. Linguagem Natural  (1)
17. Teoria Da Demonstração (Textos Avançados)  (1)
18. Traitement Automatique Des Langues Naturelles  (1)
19. Natural Language Processing (Computer Science)  (1)
20. Modallogik  (1)
21. Mais opções 

Autor/Criador 

1. Gabbay, D  (5)
2. Keisler, H  (3)
3. Etchemendy, J  (2)
4. Spurr, J  (1)
5. Allwein, G  (1)
6. Moss, L  (1)
7. Baldwin, J  (1)
8. Olivetti, N  (1)
9. Venema, Y  (1)
10. Conference on Situation Theory and its Applications  (1)
11. Rijke, M  (1)
12. Akama, S  (1)
13. D'Agostino  (1)
14. Barker-Plummer, D  (1)
15. Feferman, S  (1)
16. Mathews, S  (1)
17. Basin, D  (1)
18. Liu, A  (1)
19. Marx  (1)
20. Mais opções 

Data de Publicação 

1. Antes de1977  (3)
2. 1977Até1988  (3)
3. 1989Até1995  (3)
4. 1996Até2000  (8)
5. Após 2000  (2)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (16)
2. FFLCH - Fac. Fil. Let. e Ciências Humanas  (9)
3. ICMC - Inst. Ciên. Mat. Computação  (2)
4. FEA - Fac. Econ. Adm. Contab. e Atuária  (1)
5. IF - Instituto de Física  (1)
6. Mais opções