skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
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
Banco de dados obsolescentes e uma proposta de implementaçao
Banco de dados obsolescentes e uma proposta de implementaçao
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Banco de dados obsolescentes e uma proposta de implementaçao

Marcelo Finger Fernando Antonio Mac Cracken Cezar

São Paulo IME-USP 2001

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 2001 v.11 e.1 ) e outros locais(Acessar)

20
Sharing resource-sensitive knowledge using combinator logics
Sharing resource-sensitive knowledge using combinator logics
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Sharing resource-sensitive knowledge using combinator logics

Marcelo Finger Wamberto Weber Miranda Peixoto de Vasconcelos

São Paulo IME-USP 2000

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 2000 v.01 e.1 ) e outros locais(Acessar)

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Autor/Criador 

  1. Finger, M  (229)
  2. De Bona, G  (17)
  3. Finger, J  (16)
  4. Wassermann, R  (16)
  5. Schieler, H  (15)
  6. Mathes, H  (15)
  7. Engel, R  (15)
  8. Heck, D  (15)
  9. Bozdog, H  (15)
  10. Engler, J  (15)
  11. Ostapchenko, S  (15)
  12. Huege, T  (15)
  13. Petcu, M  (15)
  14. Apel, W  (15)
  15. Luczak, P  (15)
  16. Zabierowski, J  (15)
  17. Haungs, A  (15)
  18. Ulrich, H  (15)
  19. Rebel, H  (15)
  20. Bekk, K  (15)
  21. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1967  (34)
  2. 1967Até1980  (145)
  3. 1981Até1994  (361)
  4. 1995Até2009  (1.078)
  5. Após 2009  (2.039)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (3.445)
  2. Japonês  (299)
  3. Português  (125)
  4. Alemão  (75)
  5. Francês  (36)
  6. Russo  (14)
  7. Espanhol  (5)
  8. Italiano  (1)
  9. Norueguês  (1)
  10. Indeterminado  (1)
  11. 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. Finger, J
  4. Wassermann, R
  5. Schieler, H

Neste Assunto:

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

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

Buscando em bases de dados remotas. Favor aguardar.