skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: data de publicação: 1995Até2009 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Towards polynomial approximations of full propositional logic
Towards polynomial approximations of full propositional logic
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
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)

3
Notes on the logical reconstruction of temporal databases
Notes on the logical reconstruction of temporal databases
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
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)

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

6
Implementações de tableaux para raciocínio por aproximações
Implementações de tableaux para raciocínio por aproximações
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Implementações de tableaux para raciocínio por aproximações

Dias, Wagner

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

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

7
Implementação de um fragmento TSQL2 para bancos de dados de tempo de validade
Implementação de um fragmento TSQL2 para bancos de dados de tempo de validade
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Implementação de um fragmento TSQL2 para bancos de dados de tempo de validade

Zavattiero, Loreley

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

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

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

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (890)
  2. Anais de Congresso  (79)
  3. Produções Acadêmicas  (25)
  4. Livros  (19)
  5. magazinearticle  (15)
  6. Reports  (13)
  7. Resenhas  (13)
  8. Produções Técnicas  (10)
  9. Book Chapters  (9)
  10. Recursos Textuais  (1)
  11. Outros  (1)
  12. Verbetes  (1)
  13. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1997  (96)
  2. 1997Até1999  (202)
  3. 2000Até2002  (185)
  4. 2003Até2006  (293)
  5. Após 2006  (305)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (986)
  2. Japonês  (93)
  3. Português  (52)
  4. Francês  (21)
  5. Alemão  (14)
  6. Russo  (5)
  7. Indeterminado  (1)
  8. Espanhol  (1)
  9. 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. Kampert, K
  4. Mitrica, B
  5. Glasstetter, R

Neste Assunto:

  1. Science & Technology
  2. Physical Sciences
  3. Life Sciences & Biomedicine
  4. Physics
  5. Technology

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

Buscando em bases de dados remotas. Favor aguardar.