skip to main content
Idioma:

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

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: assunto: Lógica 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:
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)

3
Imperative history two-dimensional executable temporal logic
Imperative history two-dimensional executable temporal logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Imperative history two-dimensional executable temporal logic

Marcelo Finger Mark C Reynolds

Ohlbach, Hans Jurgen; Reyle, Uwe, ed Logic, language and reasoning : essays in honour of Dov Gabbay Dordrecht : Springer, 1999

Dordrecht Springer 1999

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

4
Towards structurally-free theorem proving
Towards structurally-free theorem proving
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)

5
A logical reconstruction of temporal databases
A logical reconstruction of temporal databases
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)

6
Quantitative logic reasoning
Quantitative logic reasoning
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)

7
Extending EL++ with linear constraints on the probability of axioms
Extending EL++ with linear constraints on the probability of axioms
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)

8
A logical reconstruction of temporal databases
A logical reconstruction of temporal databases
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)

9
Towards structurally-free theorem proving
Towards structurally-free theorem proving
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)

10
Independência parcial no problema da satisfazibilidade probabilística
Independência parcial no problema da satisfazibilidade probabilística
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Independência parcial no problema da satisfazibilidade probabilística

Morais, Eduardo Menezes De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2018-04-20

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

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

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (24)
  2. Recursos Online (3)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2000  (4)
  2. 2000Até2001  (5)
  3. 2002Até2005  (4)
  4. 2006Até2012  (4)
  5. Após 2012  (9)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.