skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Sobre a logica discursiva de jaskowski
Sobre a logica discursiva de jaskowski
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Sobre a logica discursiva de jaskowski

Lafayette de Moraes Newton Carneiro Affonso da Costa 1929-

1970

Localização: IME - Inst. Matemática e Estatística    (QA9.1.T M827s )(Acessar)

2
Model completeness results for elliptic and abelian functions
Model completeness results for elliptic and abelian functions
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Model completeness results for elliptic and abelian functions

Ricardo Bianconi

São Paulo IME-USP 1990

Localização: IME - Inst. Matemática e Estatística    (IME-RT-M QA10.7.RT I591 1990 v.6 e.1 ) e outros locais(Acessar)

3
A note on k-decidability
A note on k-decidability
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A note on k-decidability

Manuel Valentim de Pera Garcia Congresso Nacional de Matematica Aplicada e Computacional (10. 1987 Gramado)

Resumos Gramado : Sbmac, 1987

Gramado Sbmac 1987

Localização: IME - Inst. Matemática e Estatística    (PROD-788475 ) e outros locais(Acessar)

4
Some model theory for the reals analytic functions
Some model theory for the reals analytic functions
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Some model theory for the reals analytic functions

Ricardo Bianconi Brazilian Conference on Mathematical Logic (10. 1993 Itatiaia)

Logic Sets and Information Campinas : Cle, 1995

Campinas Cle 1995

Item não circula. Consulte sua biblioteca.(Acessar)

5
Finite decidability and polynomials
Finite decidability and polynomials
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Finite decidability and polynomials

Manuel Valentim de Pera Garcia

São Paulo IME-USP 1994

Localização: IME - Inst. Matemática e Estatística    (IME-RT-MA QA700.RT I59 1994 v.3 e.1 ) e outros locais(Acessar)

6
A contraction core for Horn belief change preliminary report
A contraction core for Horn belief change preliminary report
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A contraction core for Horn belief change preliminary report

Richard Booth Thomas Meyer; Renata Wassermann; Non-Monotonic Reasoning 2010: International Workshop on Non-Monotonic Reasoning - NMR (13. 2010 Toronto)

Proceedings Toronto : SFU, 2010

Toronto SFU 2010

Localização: IME - Inst. Matemática e Estatística    (PROD-1832114 ) e outros locais(Acessar)

7
Qualificação subjetiva de imagens arquitetonicas utilizando a teoria de sistema nebuloso
Qualificação subjetiva de imagens arquitetonicas utilizando a teoria de sistema nebuloso
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Qualificação subjetiva de imagens arquitetonicas utilizando a teoria de sistema nebuloso

Valé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, 2000

Santa Catarina ABEG 2000

Item não circula. Consulte sua biblioteca.(Acessar)

8
Introdução à analise não standard
Introdução à analise não standard
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Introdução à analise não standard

Ricardo Bianconi Joao Carlos Prandini; Carlos Antonio Bueno Raymundo; Seminário Brasileiro de Análise (42. 1995 Maringá)

Minicurso Maringá : UEM, 1995

Maringá UEM 1995

Localização: IME - Inst. Matemática e Estatística    (PROD-894513 ) e outros locais(Acessar)

9
A note on the non-interpretability of a discrete order in an o-minimal (dense) structure
A note on the non-interpretability of a discrete order in an o-minimal (dense) structure
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A note on the non-interpretability of a discrete order in an o-minimal (dense) structure

Ricardo Bianconi

Sao Paulo IME-USP 1994

Localização: IME - Inst. Matemática e Estatística    (IME-RT-M QA10.7.RT I591 1994 v.9 e.1 ) e outros locais(Acessar)

10
Computing list combinator solutions for structural equations
Computing list combinator solutions for structural equations
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Computing list combinator solutions for structural equations

Marcelo Finger

São Paulo IME-USP 1997

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1997 v.11 e.1 ) e outros locais(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1960  (198)
  2. 1960Até1975  (531)
  3. 1976Até1991  (657)
  4. 1992Até2008  (1.537)
  5. Após 2008  (1.004)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (2.559)
  2. Português  (388)
  3. Espanhol  (304)
  4. Francês  (157)
  5. Alemão  (84)
  6. Catalão  (63)
  7. Italiano  (30)
  8. Japonês  (17)
  9. Indeterminado  (9)
  10. Russo  (2)
  11. Holandês  (2)
  12. Polonês  (1)
  13. Árabe  (1)
  14. Norueguês  (1)
  15. Romeno  (1)
  16. No linguistic content  (1)
  17. Latim  (1)
  18. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Costa, N
  2. Mariano, H
  3. Finger, M
  4. Miraglia Neto, F
  5. Gabbay, D

Neste Assunto:

  1. Lógica Matemática
  2. Logic, Symbolic And Mathematical
  3. Mathematics
  4. Mathematical Logic
  5. Logic

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.