skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 next page
Mostrar Somente
Refinado por: autor: Finger, M remover tipo de recurso: Artigos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Completeness for cut-based abduction
Completeness for cut-based abduction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Completeness for cut-based abduction

Alexandre Matos Arruda Marcelo Finger; Brazilian Logic Conference- Encontro Brasileiro de Lógica (EBL) (16th, 2011, Petrópolis)

Logic Journal of the IGPL Oxford v. 22, n. 2, p. 286-296, 2014

Oxford 2014

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

2
Representing rational McNaughton functions via MODSAT relativisation
Representing rational McNaughton functions via MODSAT relativisation
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Representing rational McNaughton functions via MODSAT relativisation

Sandro Preto Marcelo Finger; Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL) (19. 2019 João Pessoa)

Book of Abstracts João Pessoa : EDUFCG, 2019

João Pessoa EDUFCG 2019

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

3
Labelled natural deduction for substructural logics
Labelled natural deduction for substructural logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Labelled natural deduction for substructural logics

Krysia Broda Marcelo Finger; Alessandra Russo

Logic Journal of the IGPL Oxford v. 7, n. 3, p. 283-318, 1999

Oxford 1999

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

4
The decidability of a fragment of BB'IW-logic
The decidability of a fragment of BB'IW-logic
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 J. S 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)

5
The universe of propositional approximations
The universe of propositional approximations
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
On the predictability of classical propositional logic
On the predictability of classical propositional logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the predictability of classical propositional logic

Marcelo Finger Poliana Magalhães Reis

Information Basel v. 4, n. 1, p. 60-74, 2013

Basel 2013

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

7
Semantics and proof-theory of depth bounded Boolean logics
Semantics and proof-theory of depth bounded Boolean logics
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)

8
Algorithms for deciding counting quantifiers over unary predicates
Algorithms for deciding counting quantifiers over unary predicates
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Algorithms for deciding counting quantifiers over unary predicates

Marcelo Finger Glauber De Bona 1984-; AAAI Conference on Artificial Intelligence (31. San Francisco, CA 2017)

Proceedings Palo Alto: AAAI Publications, 2017

Palo Alto AAAI Publications 2017

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

9
Minimal axiomatizations and algebraic rings a conjectured relationship
Minimal axiomatizations and algebraic rings a conjectured relationship
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Minimal axiomatizations and algebraic rings a conjectured relationship

Walter Alexandre Carnielli Marcelo Finger; Latin American Symposium on Mathematical Logic - SLALM (14. 2008 Paraty, Brasil)

Bulletin of Symbolic Logic New York v. 14, n. 3, p. 349, 2009

New York Cambridge University Press 2009

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

10
Labelled natural deduction for substructural logics
Labelled natural deduction for substructural logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Labelled natural deduction for substructural logics

Krysia Broda Marcelo Finger; Alessandra Russo

Logic Journal of the IGPL Oxford v. 7, n. 3, p. 283-318, 1999

Oxford 1999

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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (4)

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. Preto, S
  3. Wassermann, R
  4. Broda, S
  5. Damas, L

Neste Assunto:

  1. Lógica Matemática
  2. Programação Linear
  3. Inteligência Artificial
  4. Probabilidade

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

Buscando em bases de dados remotas. Favor aguardar.