skip to main content
Idioma:

Resultados de 11 a 20 de 247  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
11
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)

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

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

14
Towards automated first-order abduction: the cut-based approach
Towards automated first-order abduction: the cut-based approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards automated first-order abduction: the cut-based approach

Marcelo Finger

Logic Journal of the IGPL Oxford v. 20, n. 2, SI, p. 370-387, 2012

Oxford 2012

Localização: IME - Inst. Matemática e Estatística    (PROD-2276088 )(Acessar)

15
Quantitative logic reasoning
Quantitative logic reasoning
Material Type:
Livro 		Adicionar ao Meu Espaço

Quantitative logic reasoning

Marcelo Finger

Carnielli W.; Malinowski J. (Ed.) Contradictions, from consistency to inconsistency Cham: Springer, 2018

Cham Springer 2018

Localização: IME - Inst. Matemática e Estatística    (PROD-2912604 )(Acessar)

16
Extending EL++ with linear constraints on the probability of axioms
Extending EL++ with linear constraints on the probability of axioms
Material Type:
Livro 		Adicionar ao Meu Espaço

Extending EL++ with linear constraints on the probability of axioms

Marcelo Finger

Lutz, Carsten; et al, ed Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Cham : Springer, 2019

Cham Springer 2019

Localização: IME - Inst. Matemática e Estatística    (PROD-2953686 )(Acessar)

17
Inteligência artificial e os rumos do processamento do português brasileiro
Inteligência artificial e os rumos do processamento do português brasileiro
Material Type:
Artigo 		Adicionar ao Meu Espaço

Inteligência artificial e os rumos do processamento do português brasileiro

Marcelo Finger

Estudos Avançados São Paulo v. 35, n. 103, p. 51-71

São Paulo Instituto de Estudos Avançados 2021

Localização: IME - Inst. Matemática e Estatística    (PROD-3048492 )(Acessar)

18
Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba”
Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba”
Material Type:
Livro 		Adicionar ao Meu Espaço

Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba”

Marcelo Finger

Cozman, Fabio G.; Plonski, Guilherme Ary; Neri, Hugo, org Inteligência artificial : avanços e tendências São Paulo : Instituto de Estudos Avançados, 2021 414 p

São Paulo Instituto de Estudos Avançados 2021

Localização: IME - Inst. Matemática e Estatística    (PROD-3052064 )(Acessar)

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

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

Resultados de 11 a 20 de 247  para Produção Intelectual da USP

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (212)
  2. Recursos Online (33)

Refinar Meus Resultados

Tipo de Recurso 

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

Autor/Criador 

  1. Finger, M  (218)
  2. De Bona, G  (17)
  3. Wassermann, R  (16)
  4. Daumiller, K  (15)
  5. Pierog, T  (15)
  6. Gils, H  (15)
  7. Petcu, M  (15)
  8. Ostapchenko, S  (15)
  9. Bozdog, H  (15)
  10. Brancus, I  (15)
  11. Ulrich, H  (15)
  12. Roth, M  (15)
  13. Heck, D  (15)
  14. Mayer, H  (15)
  15. Fuhrmann, D  (15)
  16. Apel, W  (15)
  17. Grupen, C  (15)
  18. Engel, R  (15)
  19. Wommer, M  (15)
  20. Weindl, A  (15)
  21. Mais opções open sub menu

Data de Publicação 

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

Idioma 

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

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

Buscando em bases de dados remotas. Favor aguardar.