skip to main content

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

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

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

3
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Structurally-free theorem proving and the learning of structural permissions in categorial grammar

Marcelo Finger LACL 98: Logical Aspects of Computational Linguistics (1998 Grenoble)

LACL 98: Logical Aspects of Computational Linguistics Grenoble : Université Pierre Mendes- France, 1998

Grenoble Université Pierre Mendes-France 1998

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

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

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

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

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

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

10
Material Type:
Artigo
Adicionar ao Meu Espaço

The unrestricted combination of temporal logic systems

Marcelo Finger Maria Angela Weiss

Logic Journal of the IGPL Oxford v. 10, n. 2, p. 165-189, 2002

Oxford 2002

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

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

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

Buscando em bases de dados remotas. Favor aguardar.