skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Resultados de 1 a 10 de 212  para Produção Intelectual da USP

Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Towards polynomial approximations of full propositional logic

Marcelo Finger

São Paulo IME-USP 2004

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

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

3
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Notes on the logical reconstruction of temporal databases

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.02 e.1 ) e outros locais(Acessar)

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

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

Tableaux for approximate reasoning

Marcelo Finger Renata Wassermann

São Paulo IME-USP 2001

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

6
Material Type:
Artigo
Adicionar ao Meu Espaço

Towards structurally-free theorem proving

Marcelo Finger

Logic Journal of the IGPL Oxford v. 6, n. 3, p. 425-449, 1998

Oxford 1998

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

7
Material Type:
Artigo
Adicionar ao Meu Espaço

A logical reconstruction of temporal databases

Marcelo Finger

Journal of Logic and Computation Oxford v. 10, n. 6, p. 847-876, 2000

Oxford 2000

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

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Towards automated first-order abduction: the cut-based approach

Marcelo Finger

Logic Journal of the IGPL Oxford v. 20, n. 2, SI, p. 370-387, 2012

Oxford 2012

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

9
Material Type:
Livro
Adicionar ao Meu Espaço

Quantitative logic reasoning

Marcelo Finger

Carnielli W.; Malinowski J. (Ed.) Contradictions, from consistency to inconsistency Cham: Springer, 2018

Cham Springer 2018

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

10
Material Type:
Livro
Adicionar ao Meu Espaço

Extending EL++ with linear constraints on the probability of axioms

Marcelo Finger

Lutz, Carsten; et al, ed Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Cham : Springer, 2019

Cham Springer 2019

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

Resultados de 1 a 10 de 212  para Produção Intelectual da USP

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (201)
  2. Recursos Online (25)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (144)
  2. Produções Acadêmicas  (43)
  3. Livros  (13)
  4. Produções Técnicas  (12)
  5. Outros  (1)
  6. Mais opções open sub menu

Autor/Criador 

  1. De Bona, G  (17)
  2. Wassermann, R  (16)
  3. Daumiller, K  (15)
  4. Wochele, J  (15)
  5. Souza, V  (15)
  6. Doll, P  (15)
  7. Gils, H  (15)
  8. Luczak, P  (15)
  9. Kampert, K  (15)
  10. Mathes, H  (15)
  11. Ostapchenko, S  (15)
  12. Bozdog, H  (15)
  13. Rebel, H  (15)
  14. Ulrich, H  (15)
  15. Zabierowski, J  (15)
  16. Roth, M  (15)
  17. Kang, D  (15)
  18. Schieler, H  (15)
  19. Engler, J  (15)
  20. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1998  (12)
  2. 1998Até2003  (45)
  3. 2004Até2009  (43)
  4. 2010Até2016  (63)
  5. Após 2016  (51)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (153)
  2. Português  (60)
  3. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. De Bona, G
  3. Wassermann, R
  4. Daumiller, K
  5. Wochele, J

Buscando em bases de dados remotas. Favor aguardar.