1
|
Material Type: Relatório Técnico
|
|
An algebraic view of combination rules
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.01 e.1 ) e outros locais(Acessar)
|
2
|
Material Type: Relatório Técnico
|
|
Reasoning with local and global inconsistencies
Flávio Soares Corrêa da Silva
São Paulo IME-USP 1995
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1995 v.09 e.1 ) e outros locais(Acessar)
|
3
|
Material Type: Relatório Técnico
|
|
On the relations between incidence calculus and fagin-halpernstructures
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.04 e.1 ) e outros locais(Acessar)
|
4
|
Material Type: Relatório Técnico
|
|
On proof-and model-based techniques for reasoning with uncertainty
Flávio Soares Corrêa da Silva
São Paulo IME-USP 1993
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1993 v.03 e.1 ) e outros locais(Acessar)
|
5
|
Material Type: Relatório Técnico
|
|
Automated reasoning with uncertainties
Flávio Soares Corrêa da Silva
São Paulo IME-USP 1993
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1993 v.2 e.1 ) e outros locais(Acessar)
|
6
|
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)
|
7
|
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)
|
8
|
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)
|
9
|
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)
|
10
|
Material Type: Artigo de Congresso
|
|
Nature and architecture Ibirapuera Park in São Paulo
Fernanda Fernandes da Silva International Docomono Conference (5. 1998 Stockholm)
Proceedings vision and reality Stockholm : Docomomo, 1998
Stockholm Docomomo International 1998
Localização:
FAU - Fac. Arquitetura e Urbanismo
(PROD Se37 - Doc. 37 ) e outros locais(Acessar)
|