Resultados 1 - 10 de 217 para Producción Intelectual USP
- Disponible (206)
- Recursos en línea (26)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Informe Técnico
|
|
Towards polynomial approximations of full propositional logicMarcelo FingerSão Paulo IME-USP 2004Disponible en IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 2004 v.04 e.1 ) y otras localizaciones(Obténgalo) |
| 2 |
Material Type: Informe Técnico
|
|
Computing list combinator solutions for structural equationsMarcelo FingerSão Paulo IME-USP 1997Disponible 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 |
Material Type: Informe Técnico
|
|
Notes on the logical reconstruction of temporal databasesMarcelo FingerSão Paulo IME-USP 1997Disponible en IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1997 v.02 e.1 ) y otras localizaciones(Obténgalo) |
| 4 |
Material Type: Libro
|
|
Two-dimensional executable temporal logic for bitemporal databasesMarcelo Finger Mark ReynoldsBarringer Howard et al, ed Advances in temporal logic Dordrecht : Springer, 2000Dordrecht Springer 2000Disponible en IME - Inst. Matemática e Estatística (PROD-1024198 ) y otras localizaciones(Obténgalo) |
| 5 |
Material Type: Informe Técnico
|
|
Tableaux for approximate reasoningMarcelo Finger Renata WassermannSão Paulo IME-USP 2001Disponible 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 |
Material Type: Tesis de Maestria
|
|
Implementações de tableaux para raciocínio por aproximaçõesDias, WagnerBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2002-10-31Acceso en línea. La biblioteca tiene también copias físicas. |
| 7 |
Material Type: Tesis de Maestria
|
|
Extração de informações de narrativas clínicasOleynik, MichelBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2013-10-02Acceso en línea. La biblioteca tiene también copias físicas. |
| 8 |
Material Type: Tesis de Maestria
|
|
Classificação automática de documentos de características econômicas para defesa jurídicaLeme, BrunoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2021-05-14Acceso en línea. La biblioteca tiene también copias físicas. |
| 9 |
Material Type: Tesis de Maestria
|
|
Implementação de um fragmento TSQL2 para bancos de dados de tempo de validadeZavattiero, LoreleyBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1998-11-27Acceso en línea. La biblioteca tiene también copias físicas. |
| 10 |
Material Type: Artículo
|
|
A logical reconstruction of temporal databasesMarcelo FingerJournal of Logic and Computation Oxford v. 10, n. 6, p. 847-876, 2000Oxford 2000Disponible en IME - Inst. Matemática e Estatística (PROD-1193384 )(Obténgalo) |
Resultados 1 - 10 de 217 para Producción Intelectual USP
Personalizar los resultados
Refine Search Results
Mostrar solo
- Disponible (206)
- Recursos en línea (26)
Refinar mis resultados
Tipo de Recurso
- Artículos (149)
- Producciones Académicas (43)
- Libros (13)
- Producciones Técnicas (12)
- Otros (1)
-
Más opciones
Materia
- Inteligência Artificial (43)
- Lógica (25)
- Lógica Matemática (24)
- Linguística Computacional (21)
- Processamento De Linguagem Natural (19)
- Raciocínio Probabilístico (17)
- Raios Cósmicos (13)
- Ciência Da Computação (12)
- Redes Neurais (11)
- Energia (9)
- Banco De Dados (9)
- Espectros (8)
- Aprendizado Computacional (7)
- Probabilidade (7)
- Português Do Brasil (7)
- Covid-19 (6)
- Natural Language Processing (6)
- Lógica Formal (6)
- Representação De Conhecimento (6)
- Lógica Modal (6)
-
Más opciones
Creador
- De Bona, G (17)
- Wassermann, R (16)
- Wochele, J (15)
- Doll, P (15)
- Pierog, T (15)
- Petcu, M (15)
- Mathes, H (15)
- Ostapchenko, S (15)
- Bozdog, H (15)
- Huege, T (15)
- Sima, O (15)
- Rebel, H (15)
- Ulrich, H (15)
- Heck, D (15)
- Kang, D (15)
- Schieler, H (15)
- Grupen, C (15)
- Wommer, M (15)
- Weindl, A (15)
-
Más opciones
Fecha de Publicación
- Antes de1998 (12)
- 1998Hasta2003 (45)
- 2004Hasta2009 (43)
- 2010Hasta2016 (63)
- Después de 2016 (56)
-
Más opciones
Biblioteca
- IME - Inst. Matemática e Estatística (188)
- IFSC - Inst. Física de São Carlos (15)
- ICMC - Inst. Ciên. Mat. Computação (11)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (2)
- EACH - Esc. Artes, Ciências e Humanidades (1)
- ECA - Escola de Comunicações e Artes (1)
- FEA - Fac. Econ. Adm. Contab. e Atuária (1)
- FM - Fac. Medicina (1)
- FEARP - Fac. Econ. Adm. Cont. de R. Preto (1)
- FD - Fac. Direito (1)
-
Más opciones
Idioma
- Inglés (158)
- Portugués (60)
-
Más opciones
Título revista
- Proceedings (46)
- Logic Journal of the Igpl (12)
- Anais (8)
- Journal of Logic and Computation (6)
- Theoretical Computer Science (6)
- Electronic Notes in Theoretical Computer Science (6)
- Journal of physics. Conference series (3)
- Book of Abstracts (3)
- Proceeding (3)
- Knowledge-Based Systems (2)
- Cadernos de Computação (2)
- Journal of Logics and Computation (2)
- Controle e Automação (2)
- Physical Review Letters (2)
- Journal of Parallel and Distributed Computing (2)
- Clinical Transplantation (2)
- Concurrency and Computation. Practice & Experience (2)
- Journal of Physics G (2)
- Physical Review D (2)
- Journal of the Brazilian Computer Society (2)
-
Más opciones
Página de Inicio
RSS
Feed
Pol��ticas
Hable con Nosotros-
Realización:
Logos de Redes Sociales: 