Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Relatório Técnico
|
![]() |
Tecnologia e organização do trabalho coletânea de textosB R Moraes Neto F L G SilvaSao Carlos Eesc 1987Item não circula. Consulte sua biblioteca.(Acessar) |
2 |
Material Type: Projeto
|
![]() |
Residência Marlene Yurgel: projeto estruturalSilva, Fernando A. C.; Machado, Pedro L. Brito1990Item não circula. Consulte sua biblioteca.(Acessar) |
3 |
Material Type: Relatório Técnico
|
![]() |
Tecnologia , organização do trabalho e políticas de gestão na construção civil brasileira coletânea de textosF L G SilvaSão Carlos Eesc 1990Item não circula. Consulte sua biblioteca.(Acessar) |
4 |
Material Type: Relatório Técnico
|
![]() |
On proof-and model-based techniques for reasoning with uncertaintyFlávio Soares Corrêa da SilvaSão Paulo IME-USP 1993Localizaçã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 uncertaintiesFlávio Soares Corrêa da SilvaSão Paulo IME-USP 1993Localizaçã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
|
![]() |
On the relations between incidence calculus and fagin-halpernstructuresFlávio Soares Corrêa da SilvaSão Paulo IME-USP 1994Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1994 v.04 e.1 ) e outros locais(Acessar) |
7 |
Material Type: Relatório Técnico
|
![]() |
An algebraic view of combination rulesFlávio Soares Corrêa da SilvaSão Paulo IME-USP 1994Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1994 v.01 e.1 ) e outros locais(Acessar) |
8 |
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) |
9 |
Material Type: Relatório Técnico
|
![]() |
Towards efficient modelling of distributed knowledge using equational and order-sorted logicRenata Wassermann Flávio Soares Corrêa da SilvaSão Paulo IME-USP 1994Localizaçã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
|
![]() |
Automating the generation of procedures to analyse binary imagesFlávio Soares Corrêa da Silva Júnior Barrera; Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens (7. 1994 Curitiba)Anais Curitiba : Sbc/Ufpr, 1994Curitiba Sbc/Ufpr 1994Acesso online. A biblioteca também possui exemplares impressos. |