Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Relatório Técnico
|
![]() |
Facts, anotations, arguments and reasoningDaniela Vasconcelos Carbogim Flávio Soares Corrêa da SilvaSão Paulo IME-USP 1996Localizaçã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
|
![]() |
A two-sorted interpretation for annotated logicFlávio Soares Corrêa da Silva Daniela Vasconcelos CarbogimSão Paulo IME-USP 1998Localizaçã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
|
![]() |
A system for reasoning with fuzzy predicatesFlávio Soares Corrêa da Silva Daniela Vasconcelos CarbogimSão Paulo IME-USP 1994Localizaçã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
|
![]() |
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 SuperiorPeleias, Thiago Augusto CorrêaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2016-11-23Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Dissertação de Mestrado
|
![]() |
Protocolos de interação baseados em conhecimento: implementação da plataforma JamSessionDavid, Diego MiraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2012-12-14Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Relatório Técnico
|
![]() |
Cooperation between knowledge based systemsFlávio Soares Corrêa da Silva Wamberto Vasconcelos; David RobertsonSão Paulo IME-USP 1997Localizaçã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
|
![]() |
Programação em lógica anotada: teoria e aplicaçõesCarbogim, Daniela VasconcelosBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1996-11-22Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Artigo
|
![]() |
Compact lines and the Sobczyk propertyClaudia Correa Daniel Victor TauskJournal of Functional Analysis San Diego v. 266, n. 9, p. 5765-5778, 2014San Diego 2014Localização: IME - Inst. Matemática e Estatística (PROD-2471977 )(Acessar) |
9 |
Material Type: Artigo
|
![]() |
Small Valdivia compacta and treesClaudia Correa Daniel Victor TauskStudia Mathematica Warszawa : Instytut Matematyczny PAN v. 235, n. 2, p. 117-135, 20162016Localização: IME - Inst. Matemática e Estatística (PROD-2852937 )(Acessar) |
10 |
Material Type: Artigo
|
![]() |
On the c0-extension property for compact linesClaudia Correa Daniel Victor TauskJournal of Mathematical Analysis and Applications San Diego v. 428, n. 1, p. 184-193, 2015San Diego 2015Localização: IME - Inst. Matemática e Estatística (PROD-2687599 )(Acessar) |