Refinar Meus Resultados

Tipo de Recurso 

1. Artigos  (17)
2. Livros  (7)
3. Produções Acadêmicas  (2)
4. Produções Técnicas  (1)
5. Mais opções 

Assunto 

1. Raciocínio Probabilístico  (6)
2. Probabilidade  (2)
3. Aproximação Por Polinômios  (2)
4. Programação Linear  (2)
5. Inteligência Artificial  (2)
6. Lenguaje Y Lenguas  (1)
7. Computerlinguistik  (1)
8. Programação Matemática  (1)
9. Language And Languages Philosophy  (1)
10. Completude  (1)
11. Computer Science—mathematics  (1)
12. Language And Languages -- Philosophy  (1)
13. Filosofia  (1)
14. Independência Estatística  (1)
15. Computational Linguistics  (1)
16. Artificial Intelligence  (1)
17. Programação Lógica  (1)
18. Decidibilidade  (1)
19. Langage Et Langues  (1)
20. Language And Logic  (1)
21. Lógica  (1)
22. Semântica De Programação  (1)
23. Filosofía  (1)
24. Computabilidade E Complexidade  (1)
25. Algebra  (1)
26. Language And Languages  (1)
27. Probabilistic Logic  (1)
28. Conjuntos De Distribuição De Probabilidade  (1)
29. Formale Semantik  (1)
30. Computer Science  (1)
31. Programação Linear E Multilinear  (1)
32. Sets Of Probability Distributions  (1)
33. Completeness  (1)
34. Langage Et Logique  (1)
35. Computer Science-Mathematics  (1)
36. Common Sense Reasoning  (1)
37. Deduktion  (1)
38. Data Processing  (1)
39. Redes Neurais  (1)
40. Convexidade  (1)
41. Lógica  (1)
42. Raciocínio Dedutivo E Indutivo  (1)
43. Mais opções 

Autor/Criador 

1. Finger, M  (26)
2. Preto, S  (4)
3. International Symposium on Multiple-Valued Logic - ISMVL  (2)
4. Reynolds, M  (2)
5. Wassermann, R  (2)
6. Weiss, M  (2)
7. De Bona, G  (2)
8. Brazilian Symposium on Artificial Intelligence - SBIA  (2)
9. Manyà, F  (2)
10. Fajardo, R  (1)
11. Melo, A  (1)
12. Silva, F  (1)
13. LACL 98: Logical Aspects of Computational Linguistics  (1)
14. Joint Conference on Automated Reasoning - IJCAR  (1)
15. International Joint Conference on Artificial Intelligence - IJCAI  (1)
16. Workshop on Logical and Semantic Frameworks with Applications - EPTCS  (1)
17. Potyka, N  (1)
18. International Joint Conference on Automated Reasoning - IJCAR  (1)
19. Morais, E  (1)
20. Thimm, M  (1)
21. Mais opções 

Data de Publicação 

1. Antes de1999  (4)
2. 1999Até2000  (5)
3. 2001Até2003  (4)
4. 2004Até2010  (6)
5. Após 2010  (10)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (24)
2. FFLCH - Fac. Fil. Let. e Ciências Humanas  (1)
3. ICMC - Inst. Ciên. Mat. Computação  (1)
4. EACH - Esc. Artes, Ciências e Humanidades  (1)
5. Mais opções 

Base de Dados/Biblioteca 

1. Springer Books  (1)
2. Springer Books Online Archive  (1)
3. Mais opções 

Idioma 

1. Inglês  (24)
2. Português  (3)
3. Mais opções 

Nome da Publicação 

1. Proceedings  (8)
2. Logic Journal of the Igpl  (4)
3. Journal of Logic and Computation  (2)
4. Contradictions, from consistency to inconsistency  (1)
5. Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday  (1)
6. Measuring inconsistency in information  (1)
7. Journal of Automated Reasoning  (1)
8. Book of Abstracts  (1)
9. Advances in temporal logic  (1)
10. Logic, language and reasoning : essays in honour of Dov Gabbay  (1)
11. Mais opções