skip to main content
Idioma:
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Teoria Dos Modelos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Horn filter pairs and Craig interpolation in propositional logic
Horn filter pairs and Craig interpolation in propositional logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Horn filter pairs and Craig interpolation in propositional logic

Peter Arndt Hugo Luiz Mariano; Darllan Conceição Pinto

Boletin de Matematicas Bogota v. 30, n. 2, p. 1-5, 2023

Bogota 2023

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Arndt, P
  2. Pinto, D
  3. Mariano, H

Neste Assunto:

  1. Lógica Algébrica

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

Buscando em bases de dados remotas. Favor aguardar.