Resultados de 1 a 10 de 32 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Recursos Online (10)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
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) |
| 2 |
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) |
| 3 |
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. |
| 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: 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) |
| 6 |
Material Type: Artigo
|
|
A semântica formal das línguas naturais histórias e desafiosJosé Borges Neto Ana Lúcia de Paula Muller; Roberta Pires de OliveiraRevista de Estudos da Linguagem Belo Horizonte v. 20, n. 1, p. 119-148, jan./jun. 2012Belo Horizonte 2012Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Artigo
|
|
A semântica formal das línguas naturais histórias e desafiosJosé Borges Neto Ana Lúcia de Paula Muller; Roberta Pires de OliveiraRevista de Estudos da Linguagem Belo Horizonte v. 20, n. 1, p. 119-148, jan./jun. 2012Belo Horizonte 2012Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
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. |
| 9 |
Material Type: Artigo de Congresso
|
|
A semântica dos evidenciais em KaritianaLetícia Nóbrega de Mello Ana Lúcia de Paula Muller; Simpósio Internacional de Iniciação Científica da Universidade de São Paulo - SIICUSP 2009 (17. 2009 São Paulo)Resumos São Paulo : USP, 2009São Paulo 2009Acesso online. A biblioteca também possui exemplares impressos. |
| 10 |
Material Type: Artigo de Congresso
|
|
Towards an efficient prover for the C1 paraconsistent logicAdolfo Neto Celso A. A Kaestner 1955- (Celso Antônio Alves); Marcelo Finger; Workshop on Logical and Semantic Frameworks, with Applications - LSFA (4. 2009 Brasília, Brasil)Electronic Notes in Theoretical Computer Science Amsterdam v. 256, p.87-102, 2009Amsterdam Elsevier 2009Localização: IME - Inst. Matemática e Estatística (PROD-3009319 )(Acessar) |
Resultados de 1 a 10 de 32 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (10)
Refinar Meus Resultados
Tipo de Recurso
- Livros (14)
- Artigos (13)
- Produções Acadêmicas (5)
-
Mais opções
Assunto
- Semântica formal (22)
- Semântica (7)
- Linguística (4)
- Semantics (4)
- Gramática (Análise) (3)
- Formal Languages (3)
- Lógica Formal (3)
- Significado (3)
- Português Do Brasil (3)
- Logic (3)
- Filosofia Da Linguagem (2)
- Semântica Formal (Teoria) (2)
- Inteligência Artificial (2)
- Implication (Logic) (2)
- Logic, Symbolic And Mathematical (2)
- Lógica Matemática (2)
- Pragmática (Teoria) (2)
- Formal Semantics (2)
- Linguística Histórica (2)
- Lógica Simbólica (2)
-
Mais opções
Autor/Criador
- Muller, A (12)
- Müller, A (4)
- Oliveira, R (3)
- Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (3)
- Viotti, E (3)
- Epstein, R (2)
- Negrão, E (2)
- Foltran, M (2)
- Carnielli, W (2)
- Finger, M (2)
- Borges Neto, J (2)
- Delamaro, M (1)
- Kaestner, C (1)
- Turine, M (1)
- Preyer, G (1)
- Engeler, E (1)
- International Workshop on Logical and Semantic Frameworks (1)
- Portner, P (1)
- Rocha, R (1)
- Cavalcanti, A (1)
-
Mais opções
Data de Publicação
- Antes de2000 (4)
- 2000Até2002 (6)
- 2003Até2006 (8)
- 2007Até2010 (8)
- Após 2010 (7)
-
Mais opções
Biblioteca
Idioma
- Português (22)
- Inglês (10)
- Indeterminado (1)
-
Mais opções
Nome da Publicação
- Introdução à lingüística II: princípios de análise (3)
- Resumos (3)
- Delta : revista de documentação de estudos em lingüistica teórica e aplicada (2)
- Revista Letras (2)
- Revista de Estudos da Linguagem (2)
- Electronic Notes in Theoretical Computer Science (2)
- Software Quality Journal (1)
- Semântica formal (1)
- Humanas e Humanidades; resumos (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 