Refinar Meus Resultados

Tipo de Recurso 

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

Assunto 

1. Métodos Formais  (2)
2. Formal Methods  (2)
3. Verificação De Modelo Limitado  (1)
4. Function Representation  (1)
5. Uncertain Games  (1)
6. Sistemas De Recomendação  (1)
7. Financiamento De Capital De Risco  (1)
8. Valuation Semantics  (1)
9. Representação De Funções  (1)
10. Piecewise Linear Functions  (1)
11. Lógicas Proposicionais  (1)
12. Probabilistic Constraints  (1)
13. Formal Specification  (1)
14. Funções Racionais De Mcnaughton  (1)
15. Lógica Matemática  (1)
16. Unified Embedding Space  (1)
17. Equilíbrio De Nash  (1)
18. Alloy Analyzer  (1)
19. Domain-Specific Formalisms  (1)
20. Aprendizado De Representação  (1)
21. Mais opções 

Autor/Criador 

1. Rezende, S  (1)
2. Maldonado, J  (1)
3. Santos, B  (1)
4. Fernández Venero, M  (1)
5. Simão, A  (1)
6. Marcacini, R  (1)
7. Melo, A  (1)
8. Bigonha, R  (1)
9. Preto, S  (1)
10. Workshop on Formal Methods  (1)
11. Finger, M  (1)
12. Silva, F  (1)
13. Stevaux, R  (1)
14. Mais opções 

Data de Publicação 

Biblioteca 

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