skip to main content
Idioma:
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A semântica formal das línguas naturais histórias e desafios
A semântica formal das línguas naturais histórias e desafios
Material Type:
Artigo 		Adicionar ao Meu Espaço

A semântica formal das línguas naturais histórias e desafios

José Borges Neto Ana Lúcia de Paula Muller; Roberta Pires de Oliveira

Revista de Estudos da Linguagem Belo Horizonte v. 20, n. 1, p. 119-148, jan./jun. 2012

Belo Horizonte 2012

Acesso online. A biblioteca também possui exemplares impressos.

2
A semântica formal das línguas naturais histórias e desafios
A semântica formal das línguas naturais histórias e desafios
Material Type:
Artigo 		Adicionar ao Meu Espaço

A semântica formal das línguas naturais histórias e desafios

José Borges Neto Ana Lúcia de Paula Muller; Roberta Pires de Oliveira

Revista de Estudos da Linguagem Belo Horizonte v. 20, n. 1, p. 119-148, jan./jun. 2012

Belo Horizonte 2012

Acesso online. A biblioteca também possui exemplares impressos.

3
Fault-based refinement-testing for CSP
Fault-based refinement-testing for CSP
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fault-based refinement-testing for CSP

Ana Cavalcanti Adenilso da Silva Simão

Software Quality Journal New York : Springer v. 27, n. 2, p. 529-562, 2019

New York 2019

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2937713 )(Acessar)

4
Um estudo sobre a Teoria da Predição aplicada à análise semântica de Linguagens Naturais.
Um estudo sobre a Teoria da Predição aplicada à análise semântica de Linguagens Naturais.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Um estudo sobre a Teoria da Predição aplicada à análise semântica de Linguagens Naturais.

Chaer, Iúri

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2010-02-18

Acesso online. A biblioteca também possui exemplares impressos.

5
Symposium on semantics of algorithmic languages
Symposium on semantics of algorithmic languages
Material Type:
Livro 		Adicionar ao Meu Espaço

Symposium on semantics of algorithmic languages

Erwin Engeler

Berlin Springer-Verlag New York 1971

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 LNM v.188 e.2 ) e outros locais(Acessar)

6
Predicate logic the semantic foundations of logic
Predicate logic the semantic foundations of logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Predicate logic the semantic foundations of logic

Richard L Epstein

Belmont, CA Wadsworth Thomson Learning 2001

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (160 E64pr )(Acessar)

7
Propositional logics the semantic foundations of logic
Propositional logics the semantic foundations of logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Propositional logics the semantic foundations of logic

Richard L Epstein (Richard Louis) Walter A Carnielli (Walter Alexandre), 1952-

Belmont : Wadsworth/Thomson Learning 2001

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (160 E64p 2.ed )(Acessar)

8
Modo em karitiana
Modo em karitiana
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Modo em karitiana

Ferreira, Luiz Fernando

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2017-07-27

Acesso online. A biblioteca também possui exemplares impressos.

9
Semântica dos advérbios dêiticos
Semântica dos advérbios dêiticos
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Semântica dos advérbios dêiticos

Danilo Hernandes 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, 2005

São Paulo Pró-Reitoria de Pesquisa da USP 2005

Acesso online. A biblioteca também possui exemplares impressos.

10
Grafos internos e multirelacões com "Spans" - propriedades e composicionalidade
Grafos internos e multirelacões com "Spans" - propriedades e composicionalidade
Material Type:
Livro 		Adicionar ao Meu Espaço

Grafos internos e multirelacões com "Spans" - propriedades e composicionalidade

Marnes Augusto Hoff Paulo F. Blauth Menezes

Porto Alegre UFRGS 2005

Localização: ICMC - Inst. Ciên. Mat. Computação    (T H698gr e.1 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (10)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (14)
  2. Artigos  (13)
  3. Produções Acadêmicas  (5)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2000  (4)
  2. 2000Até2002  (6)
  3. 2003Até2006  (8)
  4. 2007Até2010  (8)
  5. Após 2010  (7)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.