4 Resultados para Produção Intelectual da USP
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (1)
Refinado por:
autor:
Oliveira, P
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Dissertação de Mestrado
|
|
Revisão de modelos CTLOliveira, Paulo De Tarso GuerraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2010-12-16Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Tese de Doutorado
|
|
Revisão de crenças temporaisOliveira, Paulo De Tarso GuerraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2016-05-06Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Artigo
|
|
Two AGM-style characterizations of model repairPaulo de Tarso Guerra Oliveira Renata WassermannAnnals of Mathematics and Artificial Intelligence Basel n. 87, p. 233–257, 2019Basel 2019Localização: IME - Inst. Matemática e Estatística (PROD-2969605 )(Acessar) |
| 4 |
Material Type: Artigo de Congresso
|
|
Revising formal program specifications using KMTSPaulo de Tarso Guerra Oliveira Aline Andrade; Renata Wassermann; World Congress and School on Universal Logic (4. 2013 Rio de Janeiro, Brasil)Handbook of the 4th World Congress and School on Universal Logic Rio de Janeiro : UNILOG, 2013Rio de Janeiro UNILOG 2013Acesso online. A biblioteca também possui exemplares impressos. |
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
- Recursos Online (1)
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 