skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

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

Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: autor: Finger, M remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Outros
Adicionar ao Meu Espaço

Electronic Notes in Theoretical Computer Science

Maribel Fernández Marcelo Finger

Amsterdam Elsevier 2014

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

2
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Entailment multipliers an algebraic characterization of validity for classical and modal logics

Marcelo Finger Maruricio S. C Hernandes; International Workshop on Logic, Language, Information, and Computation - WoLLIC (2010 Brasília)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

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

3
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

The universe of approximations

Marcelo Finger Renata Wassermann; Workshop on Logic, Language, Information and Computation - WoLLIC (10. 2003 Ouro Preto)

Electronic Notes in Theoretical Computer Science Amsterdam v. 84, p. 91-104, 2003

Amsterdam 2003

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

4
Material Type:
Artigo
Adicionar ao Meu Espaço

Special issue Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]

Marcelo Finger Delia Kesner

Theoretical Computer Science Amsterdam v. 606, p.1, nov. 2015)

Amsterdam 2015

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

5
Material Type:
Artigo
Adicionar ao Meu Espaço

The universe of propositional approximations

Marcelo Finger Renata Wassermann

Theoretical Computer Science Amsterdam v. 355, n. 2, p. 153-166, 2006

Amsterdam 2006

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

6
Material Type:
Artigo
Adicionar ao Meu Espaço

Semantics and proof-theory of depth bounded Boolean logics

Marcello D'Agostino Marcelo Finger; Dov Gabbay

Theoretical Computer Science Amsterdam v. 480, p. 43-68, 2013

Amsterdam 2013

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

7
Material Type:
Artigo
Adicionar ao Meu Espaço

The decidability of a fragment of BB'IW-logic

Sabine Broda Luís Damas 1951-; Marcelo Finger; Paulo José da Silva e Silva

Theoretical Computer Science Amsterdam v. 318, n. 3, p. 373-408, 2004

Amsterdam 2004

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

8
Material Type:
Artigo
Adicionar ao Meu Espaço

The universe of propositional approximations

Marcelo Finger Renata Wassermann

Theoretical Computer Science Amsterdam v. 355, n. 2, p. 153-166, 2006

Amsterdam 2006

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

9
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Polynomial approximations of full propositional logic via limited bivalence

Marcelo Finger European Workshop on Logics in Artificial Intelligence - JELIA (9. 2004 Lisbon)

Proceedings Berlin : Springer, 2004

Berlin Springer 2004

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

10
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Comparing two Markov methods for part-of-speech tagging of portuguese

Fábio Natanael Kepler Marcelo Finger; Ibero-American Conference on Artificial Intelligence - IBERAMIA (10. 2006 Ribeirão Preto); Brazilian Symposium on Artificial Intelligence - SBIA (18. 2006 Ribeirão Preto)

Proceedings Berlin : Springer, 2006

Berlin Springer 2006

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

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

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (28)
  2. Produções Acadêmicas  (2)
  3. Livros  (2)
  4. Outros  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2003  (3)
  2. 2003Até2007  (10)
  3. 2008Até2011  (6)
  4. 2012Até2015  (7)
  5. Após 2015  (7)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.