Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
Um estudo sobre a Teoria da Predição aplicada à análise semântica de Linguagens Naturais.Chaer, IúriBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2010-02-18Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Introduction to Montague semanticsDavid R Dowty Robert Eugene Wall; Stanley Peters 1941-Dordrecht, Holland Boston D. Reidel Pub. Co Hingham, MA sold and distributed in the U.S.A. and Canada by Kluwer Boston Inc c1981Localização: IME - Inst. Matemática e Estatística (P D752i )(Acessar) |
|
3 |
Material Type: Livro
|
Symposium on semantics of algorithmic languagesErwin EngelerBerlin Springer-Verlag New York 1971Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 LNM v.188 e.2 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Predicate logic the semantic foundations of logicRichard L EpsteinBelmont, CA Wadsworth Thomson Learning 2001Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (160 E64pr )(Acessar) |
|
5 |
Material Type: Livro
|
Propositional logics the semantic foundations of logicRichard L Epstein (Richard Louis) Walter A Carnielli (Walter Alexandre), 1952-Belmont : Wadsworth/Thomson Learning 2001Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (160 E64p 2.ed )(Acessar) |
|
6 |
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. |
|
7 |
Material Type: Livro
|
Algebraic semanticsIrène Guessarian 1948-Berlin New York Springer-Verlag 1981Localização: IME - Inst. Matemática e Estatística (S L471c v.99 )(Acessar) |
|
8 |
Material Type: Livro
|
Presumptive meanings the theory of generalized conversational implicatureStephen C. LevinsonCambridge, Mass. MIT Press 2000Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (401.43 L645p 2001 )(Acessar) |
|
9 |
Material Type: Livro
|
Semântica formal uma breve introduøcãoRoberta Pires de OliveiraCampinas, SP Mercado de Letras 2001Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (412 O51s e.8 )(Acessar) |
|
10 |
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) |