skip to main content
Idioma:
Refinado por: autor: Workshop on Logical and Semantic Frameworks remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Using abduction to compute efficient proofs
Using abduction to compute efficient proofs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Using abduction to compute efficient proofs

Marcelo Finger Workshop on Logical and Semantic Frameworks, with Applications - LSFA (3. 2008 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 247, p. 39-49, 2009

Amsterdam Elsevier 2009

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

2
Towards an efficient prover for the C1 paraconsistent logic
Towards an efficient prover for the C1 paraconsistent logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards an efficient prover for the C1 paraconsistent logic

Adolfo Neto Celso A. A Kaestner 1955- (Celso Antônio Alves); Marcelo Finger; Workshop on Logical and Semantic Frameworks, with Applications - LSFA (4. 2009 Brasília, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 256, p.87-102, 2009

Amsterdam Elsevier 2009

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Autor/Criador 

  1. Kaestner, C  (1)
  2. Neto, A  (1)
  3. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. Workshop on Logical and Semantic Frameworks
  3. Kaestner, C
  4. Neto, A

Neste Assunto:

  1. Lógica Formal
  2. Web Semântica

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

Buscando em bases de dados remotas. Favor aguardar.