Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Artigo de Congresso
|
Some model theory for the reals analytic functionsRicardo Bianconi Brazilian Conference on Mathematical Logic (10. 1993 Itatiaia)Logic Sets and Information Campinas : Cle, 1995Campinas Cle 1995Item não circula. Consulte sua biblioteca.(Acessar) |
|
12 |
Material Type: Artigo de Congresso
|
A contraction core for Horn belief change preliminary reportRichard Booth Thomas Meyer; Renata Wassermann; Non-Monotonic Reasoning 2010: International Workshop on Non-Monotonic Reasoning - NMR (13. 2010 Toronto)Proceedings Toronto : SFU, 2010Toronto SFU 2010Localização: IME - Inst. Matemática e Estatística (PROD-1832114 ) e outros locais(Acessar) |
|
13 |
Material Type: Artigo de Congresso
|
Qualificação subjetiva de imagens arquitetonicas utilizando a teoria de sistema nebulosoValéria Azzi Collet da Graça Liang Yee Cheng 1965-; João Roberto Diego Petreche 1963-; International Congress on Engineering Graphics for Arts and Technical Drawing (4. 2000 Ouro Preto); Simpósio Nacional de Geometrica Descritiva e Desenho Técnico (14. 2000 Ouro Preto)Graphica 2000 Santa Catarina : ABEG, 2000Santa Catarina ABEG 2000Item não circula. Consulte sua biblioteca.(Acessar) |
|
14 |
Material Type: Artigo de Congresso
|
Introdução à analise não standardRicardo Bianconi Joao Carlos Prandini; Carlos Antonio Bueno Raymundo; Seminário Brasileiro de Análise (42. 1995 Maringá)Minicurso Maringá : UEM, 1995Maringá UEM 1995Localização: IME - Inst. Matemática e Estatística (PROD-894513 ) e outros locais(Acessar) |
|
15 |
Material Type: Relatório Técnico
|
Computing list combinator solutions for structural equationsMarcelo FingerSão Paulo IME-USP 1997Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1997 v.11 e.1 ) e outros locais(Acessar) |
|
16 |
Material Type: Dissertação de Mestrado
|
Implementações de tableaux para raciocínio por aproximaçõesDias, WagnerBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2002-10-31Acesso online. A biblioteca também possui exemplares impressos. |
|
17 |
Material Type: Tese de Doutorado
|
Contribuições à teoria dos grupos especiaisMariano, Hugo LuizBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2003-02-26Acesso online. A biblioteca também possui exemplares impressos. |
|
18 |
Material Type: Dissertação de Mestrado
|
Aproximações de lógicas modaisRabello, Guilherme De SouzaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2005-03-29Acesso online. A biblioteca também possui exemplares impressos. |
|
19 |
Material Type: Tese de Doutorado
|
Teoria de modelos de corpos p-ádicos com funções analíticasSanabria, Leonardo PrietoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2004-02-18Acesso online. A biblioteca também possui exemplares impressos. |
|
20 |
Material Type: Dissertação de Mestrado
|
Teoria dos modelos e a conjectura de Mordell-LangLopes, Vinicius CifúBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2005-08-01Acesso online. A biblioteca também possui exemplares impressos. |