Refinar Meus Resultados

Tipo de Recurso 

1. Artigos  (5)
2. Produções Acadêmicas  (1)
3. Livros  (1)
4. Mais opções 

Assunto 

1. Semigrupos (Combinatória)  (2)
2. Lógica  (1)
3. Computação Gráfica  (1)
4. Annotated Logics  (1)
5. Filosofia Da Ciência  (1)
6. World Wide Web  (1)
7. Engenharia De Software  (1)
8. Sistemas De Informação  (1)
9. Fundamentos Da Programação Não-Clássica  (1)
10. Algoritmos  (1)
11. Ontologias  (1)
12. Autômatos Finitos  (1)
13. Filosofia  (1)
14. Lógica Paraconsistente  (1)
15. Paraconsistent Logics  (1)
16. Lógicas Anotadas  (1)
17. Linguagens Formais  (1)
18. Foundations Of Non-Classical Programming  (1)
19. Web Semântica  (1)
20. Sistemas Multimídia  (1)
21. Mais opções 

Autor/Criador 

1. Simon, I  (2)
2. Annual Symposium on Foundations of Computer Science - SFCS  (1)
3. Annual Symposium on Foundations of Computer Science  (1)
4. Capalbo, M  (1)
5. Szemerédi, E  (1)
6. Rodl, V  (1)
7. Brazilian Symposium on Formal Methods - SBMF  (1)
8. International Symposium on Mathematical Foundations of Computer Science - MFCS  (1)
9. Simão, A  (1)
10. Costa, N  (1)
11. Kohayakawa, Y  (1)
12. Abe, J  (1)
13. Trystram, D  (1)
14. Bougeret, M  (1)
15. Goldman, A  (1)
16. Moreira, D  (1)
17. International Symposium on Rule Technologies : Foundations  (1)
18. Ngoko, Y  (1)
19. Musen, M  (1)
20. Orlando, J  (1)
21. Mais opções 

Data de Publicação 

1. Antes de1988  (1)
2. 1988Até1991  (1)
3. 1992Até1999  (1)
4. 2000Até2011  (3)
5. Após 2011  (1)
6. Mais opções 

Biblioteca 

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

Idioma 

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

Nome da Publicação 

1. Proceedings  (3)
2. International Journal of Foundations of Computer Science  (1)
3. Lecture Notes in Computer Science  (1)
4. Mais opções