11
Material Type:
Relatório Técnico
Towards a logic of perishable propositions
Flávio Soares Corrêa da Silva
São Paulo IME-USP 2001
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 2001 v.12 e.1 ) e outros locais(Acessar)
This feature requires javascript
12
Material Type:
Relatório Técnico
Arguments in favor of a controlled plurality of office formating standards
Flávio Soares Corrêa da Silva
São Paulo IME-USP 2007
Localização:
IME - Inst. Matemática e Estatística
(RT-MAC 2007 v.7 ) e outros locais(Acessar)
This feature requires javascript
13
Material Type:
Relatório Técnico
Viabilidade técnica de abertura monopolar permanente em linhas de transmissão extra alta tensão
F A T Silva José Antonio Jardini 1941-
São Paulo EPUSP 1999
Item não circula. Consulte sua biblioteca.(Acessar)
14
Material Type:
Relatório Técnico
Categorical grammar and harmonic analysis
Flávio Soares Corrêa da Silva Fábio Kon 1969-
São Paulo IME-USP 1995
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1995 v.05 e.1 ) e outros locais(Acessar)
This feature requires javascript
15
Material Type:
Relatório Técnico
Ferramentas e diretrizes para a gestão da logística no processo de produção de edifícios
Fred Borges da Silva Francisco Ferreira Cardoso 1957-
São Paulo EPUSP 2000
Item não circula. Consulte sua biblioteca.(Acessar)
16
Material Type:
Relatório Técnico
Relatório de análise estatística sobre o projeto “estudo da associação entre as etiologias da miocardiopatia dilatada e determinantes genéticos da hemacromatose - gene HFE”
Júlia Maria Pavan Soler Fábio Fernando da Silva
São Paulo IME-USP 2000
Localização:
IME - Inst. Matemática e Estatística
(IME-RAE-CEA S685r 2000 v.13 ) e outros locais(Acessar)
This feature requires javascript
17
Material Type:
Relatório Técnico
Towards efficient modelling of distributed knowledge using equational and order-sorted logic
Renata Wassermann Flávio Soares Corrêa da Silva
São Paulo IME-USP 1994
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1994 v.11 e.1 ) e outros locais(Acessar)
This feature requires javascript
18
Material Type:
Relatório Técnico
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)
This feature requires javascript
19
Material Type:
Relatório Técnico
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)
This feature requires javascript
20
Material Type:
Relatório Técnico
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)
This feature requires javascript