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

2
Aproximações de lógicas modais
Aproximações de lógicas modais
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Aproximações de lógicas modais

Rabello, Guilherme De Souza

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2005-03-29

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

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

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

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

6
Combinações de Lógicas Modais Não-normais
Combinações de Lógicas Modais Não-normais
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Combinações de Lógicas Modais Não-normais

Rogério Augusto dos Santos Fajardo Marcelo Finger

2004

Localização: IME - Inst. Matemática e Estatística    (IME-T QA9.86.T F175c e.1 )(Acessar)

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

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

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

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

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (4)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (17)
  2. Produções Acadêmicas  (11)
  3. Produções Técnicas  (3)
  4. Livros  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2002  (4)
  2. 2002Até2005  (6)
  3. 2006Até2011  (6)
  4. 2012Até2016  (9)
  5. Após 2016  (9)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. Preto, S
  3. De Bona, G
  4. Wassermann, R
  5. Arruda, A

Neste Assunto:

  1. Lógica Matemática
  2. Inteligência Artificial
  3. Lógica Probabilística
  4. Probabilidade
  5. Probabilistic Logic

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

Buscando em bases de dados remotas. Favor aguardar.