Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Coletivos um estudo dentro do paradigma da semântica formalAnna Maria Russo Patrício de Oliveira Ana Lúcia de Paula Muller; Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (13. 2005 São Paulo)Resumos São Paulo : Pró-Reitoria de Pesquisa da USP, 2005São Paulo Pró-Reitoria de Pesquisa da USP 2005Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Dissertação de Mestrado
|
Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveisReis, Teofilo De Souza Universidade Estadual de Campinas (Unicamp); Coniglio, Marcelo Esteban, 1963-; Bianconi, Ricardo; D'Ottaviano, Itala Maria Loffredo; Feitosa, Hercules De Araujo; Carnielli, Walter Alexandre; Universidade Estadual De Campinas. Instituto De Filosofia E Ciências Humanas; Programa De Pós-Graduação Em Filosofia; Universidade Estadual De Campinashttps://repositorio.unicamp.br/acervo/detalhe/432670[s.n.] 2008Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
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) |
|
4 |
Material Type: Livro
|
Este livro chega com o objetivo principal de mostrar que a semântica... [Apresentação]Ana Lúcia de Paula Muller Esmeralda Vailati Negrão; Maria José FoltranMuller, Ana Lúcia; Negrão, Esmeralda Vailati; Foltran, Maria José, orgs Semântica formal São Paulo : Contexto, 2003São Paulo Contexto 2003Acesso online. A biblioteca também possui exemplares impressos. |
|
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) |
|
6 |
Material Type: Artigo de Congresso
|
A gradação nos modalidalizadores deônticos do hebraico modernoDiego Raigorodsky Marcos Fernando Lopes; Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (15. 2007 São Paulo)Humanas e Humanidades; resumos São Paulo : USP, 2007São Paulo USP 2007Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (Lopes, M F doc 16 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Grafos internos e multirelacões com "Spans" - propriedades e composicionalidadeMarnes Augusto Hoff Paulo F. Blauth MenezesPorto Alegre UFRGS 2005Localização: ICMC - Inst. Ciên. Mat. Computação (T H698gr e.1 )(Acessar) |
|
8 |
Material Type: Tese de Doutorado
|
HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentosTurine, Marcelo Augusto SantosBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Física de São Carlos 1998-06-01Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
The logic of conventional implicaturesChristopher Potts 1977-Oxford Oxford University Press 2005Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (415 P867L )(Acessar) |
|
10 |
Material Type: Livro
|
Logical form and languageGerhard Preyer; Georg PeterNew York Clarendon 2008Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (415 L821 )(Acessar) |