skip to main content

Resultados de 1 a 10 de 91  para Produção Intelectual da USP

Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Facts, anotations, arguments and reasoning

Daniela Vasconcelos Carbogim Flávio Soares Corrêa da Silva

São Paulo IME-USP 1996

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1996 v.01 e.1 ) e outros locais(Acessar)

2
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

A two-sorted interpretation for annotated logic

Flávio Soares Corrêa da Silva Daniela Vasconcelos Carbogim

São Paulo IME-USP 1998

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1998 v.01 e.1 ) e outros locais(Acessar)

3
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

A system for reasoning with fuzzy predicates

Flávio Soares Corrêa da Silva Daniela Vasconcelos Carbogim

São Paulo IME-USP 1994

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1994 v.13 e.1 ) e outros locais(Acessar)

4
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Um estudo de caso, com ingressantes de 2015 do curso de licenciatura em matemática do IME-USP, sobre a transição do Ensino Médio para o Superior

Peleias, Thiago Augusto Corrêa

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2016-11-23

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

5
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Protocolos de interação baseados em conhecimento: implementação da plataforma JamSession

David, Diego Mira

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2012-12-14

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

6
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Cooperation between knowledge based systems

Flávio Soares Corrêa da Silva Wamberto Vasconcelos; David Robertson

São Paulo IME-USP 1997

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1997 v.3 e.1 ) e outros locais(Acessar)

7
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Programação em lógica anotada: teoria e aplicações

Carbogim, Daniela Vasconcelos

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1996-11-22

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

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Compact lines and the Sobczyk property

Claudia Correa Daniel Victor Tausk

Journal of Functional Analysis San Diego v. 266, n. 9, p. 5765-5778, 2014

San Diego 2014

Localização: IME - Inst. Matemática e Estatística    (PROD-2471977 )(Acessar)

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Small Valdivia compacta and trees

Claudia Correa Daniel Victor Tausk

Studia Mathematica Warszawa : Instytut Matematyczny PAN v. 235, n. 2, p. 117-135, 2016

2016

Localização: IME - Inst. Matemática e Estatística    (PROD-2852937 )(Acessar)

10
Material Type:
Artigo
Adicionar ao Meu Espaço

On the c0-extension property for compact lines

Claudia Correa Daniel Victor Tausk

Journal of Mathematical Analysis and Applications San Diego v. 428, n. 1, p. 184-193, 2015

San Diego 2015

Localização: IME - Inst. Matemática e Estatística    (PROD-2687599 )(Acessar)

Resultados de 1 a 10 de 91  para Produção Intelectual da USP

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (8)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (66)
  2. Produções Técnicas  (15)
  3. Produções Acadêmicas  (8)
  4. Livros  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2000  (12)
  2. 2000Até2004  (10)
  3. 2005Até2009  (8)
  4. 2010Até2016  (32)
  5. Após 2016  (29)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (80)
  2. Português  (11)
  3. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.