Refinar Meus Resultados

Assunto 

1. Lógica Matemática  (10)
2. Lógica Modal  (4)
3. Modality (Logic)  (3)
4. Sistemas Lógicos Não Clássicos  (2)
5. Inteligência Artificial  (2)
6. Lógica Matemática Aplicada (Congressos)  (2)
7. Logic, Symbolic And Mathematical  (2)
8. Inteligência Artificial (Congressos)  (2)
9. Modalit E (Logique)  (2)
10. Proof Theory  (2)
11. Logica  (2)
12. Computer Logic  (1)
13. Preuve, Th Eorie De La  (1)
14. Computersimulaties  (1)
15. Quantum Theory  (1)
16. Quantum Logic  (1)
17. Linguagem Natural  (1)
18. Modale Logica  (1)
19. Temporele Logica  (1)
20. Teoria Da Demonstração  (1)
21. Mais opções 

Autor/Criador 

1. Barwise, J  (5)
2. D'Agostino  (2)
3. Wansing, H  (2)
4. Spurr, J  (1)
5. Davidson, D  (1)
6. Magnani, L  (1)
7. Olivetti, N  (1)
8. Akama, S  (1)
9. Nersessian, N  (1)
10. Posegga, J  (1)
11. Howard Barringer  (1)
12. Nuchelmans, G  (1)
13. Mathews, S  (1)
14. Williams, M  (1)
15. Lehmann, D  (1)
16. Matthews, S  (1)
17. International Conference on Model-Based Reasoning: Scientific Discovery Technological Innovation  (1)
18. Viganò, L  (1)
19. Engesser, K  (1)
20. Mais opções 

Data de Publicação 

1. Antes de1996  (1)
2. 1996Até1996  (1)
3. 1997Até1998  (2)
4. 1999Até2000  (4)
5. Após 2000  (4)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (10)
2. FFLCH - Fac. Fil. Let. e Ciências Humanas  (8)
3. Mais opções