Refinar Meus Resultados

Tipo de Recurso 

1. Livros  (5)
2. Artigos  (1)
3. Revistas  (1)
4. Mais opções 

Assunto 

1. Lógica Matemática  (3)
2. Logic, Symbolic And Mathematical  (2)
3. Natural Language Processing (Computer Science)  (2)
4. Logique Symbolique Et Math Ematique  (2)
5. Logica  (2)
6. Engenharia Hidráulica E Sanitária  (1)
7. Independência E Consistência  (1)
8. Preuve, Th Eorie De La  (1)
9. Processamento Eletrônico De Dados  (1)
10. Formele Semantiek  (1)
11. Filosofia Da Ciência  (1)
12. Computersimulaties  (1)
13. Teoria Dos Conjuntos  (1)
14. Pragmatics  (1)
15. Recursos Hídricos (Desenvolvimento;Processamento De Dados)  (1)
16. Linguagem Natural  (1)
17. Langage Et Logique  (1)
18. Programming Languages (Electronic Computers)  (1)
19. Teoria Da Computação  (1)
20. Banco De Dados  (1)
21. Mais opções 

Autor/Criador 

1. Gabbay, D  (2)
2. Barwise, J  (2)
3. Gesin, R  (1)
4. Gunther, F  (1)
5. Pessoa Junior, O  (1)
6. Akama, S  (1)
7. Clifford, J  (1)
8. Marcílio, D  (1)
9. Mortensen, C  (1)
10. Souza, M  (1)
11. Bugliarello, G  (1)
12. Wansing, H  (1)
13. Mortensen  (1)
14. Mais opções 

Data de Publicação 

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

Biblioteca 

1. IME - Inst. Matemática e Estatística  (4)
2. ICMC - Inst. Ciên. Mat. Computação  (1)
3. EPBC - Esc. Politécnica-Bib Central  (1)
4. IF - Instituto de Física  (1)
5. IAG - Inst. Ast. Geo. Ciên. Atmosféricas  (1)
6. Mais opções 

Nome da Publicação 

1. Computer Vision and Image understanding  (1)
2. Principia  (1)
3. Mais opções