skip to main content
Idioma:

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

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page
Mostrar Somente
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
Extração de informações de narrativas clínicas
Extração de informações de narrativas clínicas
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

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

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

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

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:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

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

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

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

10
Using natural language processing techniques for automated code refactoring
Using natural language processing techniques for automated code refactoring
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

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

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

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

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (206)
  2. Recursos Online (30)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (171)
  2. Produções Acadêmicas  (43)
  3. Livros  (13)
  4. Produções Técnicas  (12)
  5. Outros  (1)
  6. Recursos Textuais  (1)
  7. Mais opções open sub menu

Autor/Criador 

  1. Finger, M  (212)
  2. De Bona, G  (17)
  3. Wassermann, R  (16)
  4. Doll, P  (15)
  5. Pierog, T  (15)
  6. Gils, H  (15)
  7. Kampert, K  (15)
  8. Mathes, H  (15)
  9. Ostapchenko, S  (15)
  10. Bozdog, H  (15)
  11. Huege, T  (15)
  12. Sima, O  (15)
  13. Ulrich, H  (15)
  14. Haungs, A  (15)
  15. Glasstetter, R  (15)
  16. Roth, M  (15)
  17. Kang, D  (15)
  18. Mayer, H  (15)
  19. Grupen, C  (15)
  20. Engler, J  (15)
  21. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1997  (8)
  2. 1997Até2002  (40)
  3. 2003Até2008  (41)
  4. 2009Até2015  (78)
  5. Após 2015  (75)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (176)
  2. Português  (65)
  3. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. De Bona, G
  3. Wassermann, R
  4. Doll, P
  5. Pierog, T

Neste Assunto:

  1. Inteligência Artificial
  2. Lógica
  3. Lógica Matemática
  4. Linguística Computacional
  5. Raciocínio Probabilístico

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

Buscando em bases de dados remotas. Favor aguardar.