skip to main content
Idioma:
Mostrar solo
Refinado por: tipo de recurso: Producciones Técnicas eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Notes on the logical reconstruction of temporal databases
Notes on the logical reconstruction of temporal databases
Material Type:
Informe Técnico 		Añadir a Mi Portal

Notes on the logical reconstruction of temporal databases

Marcelo Finger

São Paulo IME-USP 1997

Disponible en IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1997 v.02 e.1 ) y otras localizaciones(Obténgalo)

2
Computing list combinator solutions for structural equations
Computing list combinator solutions for structural equations
Material Type:
Informe Técnico 		Añadir a Mi Portal

Computing list combinator solutions for structural equations

Marcelo Finger

São Paulo IME-USP 1997

Disponible en IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1997 v.11 e.1 ) y otras localizaciones(Obténgalo)

3
Towards polynomial approximations of full propositional logic
Towards polynomial approximations of full propositional logic
Material Type:
Informe Técnico 		Añadir a Mi Portal

Towards polynomial approximations of full propositional logic

Marcelo Finger

São Paulo IME-USP 2004

Disponible en IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 2004 v.04 e.1 ) y otras localizaciones(Obténgalo)

4
Tableaux for approximate reasoning
Tableaux for approximate reasoning
Material Type:
Informe Técnico 		Añadir a Mi Portal

Tableaux for approximate reasoning

Marcelo Finger Renata Wassermann

São Paulo IME-USP 2001

Disponible en IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 2001 v.04 e.1 ) y otras localizaciones(Obténgalo)

5
Uma conjectura refutada sobre satisfazibilidade probabiliística
Uma conjectura refutada sobre satisfazibilidade probabiliística
Material Type:
Informe Técnico 		Añadir a Mi Portal

Uma conjectura refutada sobre satisfazibilidade probabiliística

Marcelo Finger Glauber De Bona 1984-

São Paulo IME-USP 2009

Disponible en IME - Inst. Matemática e Estatística    (RT-MAC 2009 v.5 ) y otras localizaciones(Obténgalo)

6
Caracterização da independência condicional em lógica modal
Caracterização da independência condicional em lógica modal
Material Type:
Informe Técnico 		Añadir a Mi Portal

Caracterização da independência condicional em lógica modal

Alexandre Matos Arruda Marcelo Finger

São Paulo IME-USP 2010

Disponible en IME - Inst. Matemática e Estatística    (RT-MAC 2010 v.1 ) y otras localizaciones(Obténgalo)

7
Sharing resource-sensitive knowledge using combinator logics
Sharing resource-sensitive knowledge using combinator logics
Material Type:
Informe Técnico 		Añadir a Mi Portal

Sharing resource-sensitive knowledge using combinator logics

Marcelo Finger Wamberto Weber Miranda Peixoto de Vasconcelos

São Paulo IME-USP 2000

Disponible en IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 2000 v.01 e.1 ) y otras localizaciones(Obténgalo)

8
Banco de dados obsolescentes e uma proposta de implementaçao
Banco de dados obsolescentes e uma proposta de implementaçao
Material Type:
Informe Técnico 		Añadir a Mi Portal

Banco de dados obsolescentes e uma proposta de implementaçao

Marcelo Finger Fernando Antonio Mac Cracken Cezar

São Paulo IME-USP 2001

Disponible en IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 2001 v.11 e.1 ) y otras localizaciones(Obténgalo)

9
Notes on complex combinators and structurally-free theorem proving
Notes on complex combinators and structurally-free theorem proving
Material Type:
Informe Técnico 		Añadir a Mi Portal

Notes on complex combinators and structurally-free theorem proving

Marcelo Finger

São Paulo IME-USP 1996

Disponible en IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1996 v.9 e.1 )(Obténgalo)

10
Integrade rumo a um sistema de computação em grade para aproveitamento de recursos ociosos em máquinas compartilhadas
Integrade rumo a um sistema de computação em grade para aproveitamento de recursos ociosos em máquinas compartilhadas
Material Type:
Informe Técnico 		Añadir a Mi Portal

Integrade rumo a um sistema de computação em grade para aproveitamento de recursos ociosos em máquinas compartilhadas

Andrei Goldchleger Fábio Kon 1969-; Alfredo Goldman; Marcelo Finger; Siang Wun Song

São Paulo IME-USP 2002

Disponible en IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 2002 v.08 e.1 ) y otras localizaciones(Obténgalo)

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Recursos en línea (1)
  2. Disponible (13)

Nuevas sugerencias de búsqueda

Ignorar mi consulta y buscar por todo

por este autor/creador:

  1. Finger, M
  2. De Bona, G
  3. Nassu, E
  4. Goldchleger, A
  5. Cezar, F

con este tema:

  1. Sistemas Distribuídos (Arquitetura De Computadores)
  2. Banco De Dados
  3. Lógica Matemática
  4. Ciência Da Computação
  5. Lógica Modal

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora