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
|
|
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)
|
3
|
Material Type: Relatório Técnico
|
|
ThePrologPlay an introductive virtual environment for artificial intelligence and related fields
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.10 ) e outros locais(Acessar)
|
4
|
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)
|
5
|
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)
|
6
|
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)
|
7
|
Material Type: Livro
|
|
Architecture in Brazil in the second postwar period the synthesis of the arts
Fernanda Fernandes da Silva
Pelkonen, Eeva-Liisa; Laaksonen, Esa, eds Architecture + art: new visions, new strategies Helsinki: Alvar Aalto Academy, 2007 203 p
Helsinki Alvar Aalto Academy 2007
Localização:
FAU - Fac. Arquitetura e Urbanismo
(720.63 In8arc ) e outros locais(Acessar)
|
8
|
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)
|
9
|
Material Type: Livro
|
|
Cultural behaviors of indigenous populations and the formation of the archaeological record in Amazonian dark earths the Asurini do Xingú case study
Fabíola Andréa Silva
Lehmann, Johannes, eds. [et al.] Amazonian dark earths origin properties management Dordrecht: Kluwer Academic Publishers, c2003 p. 373-385
Dordrecht New York Kluwer Academic Publishers c2003
Localização:
MAE - Museu Arqueologia e Etnologia
(PFAS/42 ) e outros locais(Acessar)
|
10
|
Material Type: Relatório Técnico
|
|
Where am I? Where are you?
Flávio Soares Corrêa da Silva
São Paulo IME-USP 2005
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 2005 v.03 e.1 ) e outros locais(Acessar)
|