skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar solo
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
Two-dimensional executable temporal logic for bitemporal databases
Two-dimensional executable temporal logic for bitemporal databases
Material Type:
Libro 		Añadir a Mi Portal

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

Disponible en IME - Inst. Matemática e Estatística    (PROD-1024198 ) y otras localizaciones(Obténgalo)

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

6
Extração de informações de narrativas clínicas
Extração de informações de narrativas clínicas
Material Type:
Tesis de Maestria 		Añadir a Mi Portal

Extração de informações de narrativas clínicas

Oleynik, Michel

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

Acceso en línea. La biblioteca tiene también copias físicas.

7
Implementações de tableaux para raciocínio por aproximações
Implementações de tableaux para raciocínio por aproximações
Material Type:
Tesis de Maestria 		Añadir a Mi Portal

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

Acceso en línea. La biblioteca tiene también copias físicas.

8
Classificação automática de documentos de características econômicas para defesa jurídica
Classificação automática de documentos de características econômicas para defesa jurídica
Material Type:
Tesis de Maestria 		Añadir a Mi Portal

Classificação automática de documentos de características econômicas para defesa jurídica

Leme, Bruno

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

Acceso en línea. La biblioteca tiene también copias físicas.

9
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:
Tesis de Maestria 		Añadir a Mi Portal

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

Acceso en línea. La biblioteca tiene también copias físicas.

10
Using natural language processing techniques for automated code refactoring
Using natural language processing techniques for automated code refactoring
Material Type:
Tesis de Maestria 		Añadir a Mi Portal

Using natural language processing techniques for automated code refactoring

Barzilay, Alan

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

Acceso en línea. La biblioteca tiene también copias físicas.

Resultados 1 2 3 4 5 next page

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Recursos en línea (3.456)
  2. Revistas arbitradas (2.453)
  3. Disponible (238)

Creador 

  1. Finger, M  (230)
  2. De Bona, G  (17)
  3. Finger, J  (16)
  4. Wassermann, R  (16)
  5. Souza, V  (15)
  6. Engel, R  (15)
  7. Daumiller, K  (15)
  8. Bozdog, H  (15)
  9. Engler, J  (15)
  10. Mayer, H  (15)
  11. Ostapchenko, S  (15)
  12. Sima, O  (15)
  13. Petcu, M  (15)
  14. Luczak, P  (15)
  15. Brancus, I  (15)
  16. Haungs, A  (15)
  17. Roth, M  (15)
  18. Ulrich, H  (15)
  19. Weindl, A  (15)
  20. Bekk, K  (15)
  21. Más opciones open sub menu

Fecha de Publicación 

De Hasta
Refinar
  1. Antes de1967  (34)
  2. 1967Hasta1980  (145)
  3. 1981Hasta1994  (357)
  4. 1995Hasta2009  (1.081)
  5. Después de 2009  (2.074)
  6. Más opciones open sub menu

Idioma 

  1. Inglés  (3.482)
  2. Japonés  (298)
  3. Portugués  (127)
  4. Alemán  (75)
  5. Francés  (34)
  6. Ruso  (14)
  7. Español  (5)
  8. Italiano  (1)
  9. Noruego  (1)
  10. Sin definir  (1)
  11. Más opciones open sub menu

Nuevas sugerencias de búsqueda

Ignorar mi consulta y buscar por todo

por este autor/creador:

  1. Finger, M
  2. De Bona, G
  3. Finger, J
  4. Wassermann, R
  5. Souza, V

con este tema:

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

  • 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