skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Two-dimensional executable temporal logic for bitemporal databases
Two-dimensional executable temporal logic for bitemporal databases
Material Type:
Livro 		Adicionar ao Meu Espaço

Two-dimensional executable temporal logic for bitemporal databases

Marcelo Finger Mark Reynolds

Barringer Howard et al, ed Advances in temporal logic Dordrecht : Springer, 2000

Dordrecht Springer 2000

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

2
Tableaux for approximate reasoning
Tableaux for approximate reasoning
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Tableaux for approximate reasoning

Marcelo Finger Renata Wassermann; International Joint Conference on Artificial Intelligence - IJCAI (17. 2001 Seatle)

Proceedings Seatle : IJCAI, 2001

Seatle IJCAI 2001

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

3
Journal of Philosophical Logic
Material Type:
Revista 		Adicionar ao Meu Espaço

Journal of Philosophical Logic

Dordrecht, Boston, Hybrid

Acesso online. A biblioteca também possui exemplares impressos.

4
Journal of Symbolic Logic
Material Type:
Revista 		Adicionar ao Meu Espaço

Journal of Symbolic Logic

ENGLAND Cambridge University Press

Acesso online. A biblioteca também possui exemplares impressos.

5
Annals of Pure and Applied Logic
Material Type:
Revista 		Adicionar ao Meu Espaço

Annals of Pure and Applied Logic

NETHERLANDS North-Holland

Acesso online. A biblioteca também possui exemplares impressos.

6
Simbolizacao no calculo de predicados 650 problemas
Simbolizacao no calculo de predicados 650 problemas
Material Type:
Livro 		Adicionar ao Meu Espaço

Simbolizacao no calculo de predicados 650 problemas

Leônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012

São Paulo EPU EDUSP c1976

Localização: CDCC - Cent. Div. Científica e Cultural    (511.3 H462s ) e outros locais(Acessar)

7
Elementos de lógica teórica
Material Type:
Livro 		Adicionar ao Meu Espaço

Elementos de lógica teórica

David Hilbert 1862-1943 Víctor Sánchez de Zavala; W Ackermann 1896- (Wilhelm)

Madrid Ed. Tecnos 1962

Localização: ICMC - Inst. Ciên. Mat. Computação    (03B01 H641e ) e outros locais(Acessar)

8
Deducao no calculo de predicados
Deducao no calculo de predicados
Material Type:
Livro 		Adicionar ao Meu Espaço

Deducao no calculo de predicados

Leônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012

São Paulo EPU EDUSP c1978

Localização: CDCC - Cent. Div. Científica e Cultural    (511.3 H462d ) e outros locais(Acessar)

9
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)

10
Analytic methods for the logic of proofs
Analytic methods for the logic of proofs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Analytic methods for the logic of proofs

Marcelo Finger International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 16 (16. 2007 Provence)

Journal of Logic and Computation Oxford v. 20, n. 1, p. 167-188, 2010

Oxford 2010

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Disponível na Biblioteca (1.750)
  2. Recursos Online (207)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (1.430)
  2. Artigos  (188)
  3. Produções Acadêmicas  (85)
  4. Produções Técnicas  (41)
  5. Revistas  (13)
  6. Recursos Textuais  (9)
  7. Outros  (1)
  8. Audiovisuais  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1960  (135)
  2. 1960Até1974  (355)
  3. 1975Até1989  (352)
  4. 1990Até2005  (557)
  5. Após 2005  (404)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

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

Neste Assunto:

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

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

Buscando em bases de dados remotas. Favor aguardar.