Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Semântica formalAna Lucia de Paula Müller Evani de Carvalho ViottiFiorin, José Luiz, org 5. ed Introdução à lingüística II: princípios de análise São Paulo : Contexto, 2014São Paulo Contexto 2014Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (410 In48 v.2 5.ed. )(Acessar) |
|
2 |
Material Type: Dissertação de Mestrado
|
Modo em karitianaFerreira, Luiz FernandoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2017-07-27Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Tese de Doutorado
|
Uma abordagem para representação de resultados formais na UMLVinícius Pereira Márcio Eduardo Delamaro2017Localização: ICMC - Inst. Ciên. Mat. Computação (T P436ab e.1 )(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
An efficient algorithm for representing piecewise linear functions into logicSandro Preto Marcelo Finger; International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020 (15. 2020 Salvador, Brasil)Electronic Notes in Theoretical Computer Science Amsterdam v. 351, p.167-186, 2020Amsterdam Elsevier 2020Localização: IME - Inst. Matemática e Estatística (PROD-3013847 )(Acessar) |
|
5 |
Material Type: Artigo
|
Fault-based refinement-testing for CSPAna Cavalcanti Adenilso da Silva SimãoSoftware Quality Journal New York : Springer v. 27, n. 2, p. 529-562, 2019New York 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2937713 )(Acessar) |