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: 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 UMLPereira, ViníciusBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2017-06-05Acesso online |
|
4 |
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) |
|
5 |
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. |
|
6 |
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) |
|
7 |
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. |
|
8 |
Material Type: Artigo
|
A semântica formal no chão da escola: os mundos possíveis na sala de aulade Carvalho, Bernar Costa ; Flud, Isabella ; Mezzari, Pedro Albino ; de Oliveira, Roberta PiresRevista virtual de estudos da linguagem, 2021-09, Vol.19 (37), p.11Lisbon: ReVelTexto completo disponível |
|
9 |
Material Type: Artigo
|
Contribuições da Semântica Formal para o ensino de sentenças com o verbo de cópula "ser" em portuguêsAmaro, Tainã ; Sanchez-Mendes, LucianaRevista virtual de estudos da linguagem, 2021-09, Vol.19 (37), p.75Lisbon: ReVelTexto completo disponível |
|
10 |
Material Type: Artigo
|
PREPOSIÇÕES ESPACIAIS COMO PREDICADOS INSTANCIADORES DE KIND: SOBRE A EXISTÊNCIA DE ENTIDADES ESPACIAISFerreira, Thayse LetíciaRevista virtual de estudos da linguagem, 2021-11, Vol.19 (18), p.252Lisbon: ReVelTexto completo disponível |