Horn filter pairs and Craig interpolation in propositional logic

Location: IME-Inst. Mat. e Estatística
Call Number: PROD-3182198
Status: On Shelf
Barcode: 3182198-10
Item Type: RECURSO ELETRÔNICO
Item Status: PCD - não circula

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

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

Online access. The library also has physical copies.

IME - Inst. Matemática e Estatística (PROD-3182198 ) Available

Location	Call Number	Description	Status	Barcode	Item Type	Request Options
IME-Inst. Mat. e Estatística	PROD-3182198		On Shelf	3182198-10	RECURSO ELETRÔNICO	Select Request Option: Click here to sign in
Location: IME-Inst. Mat. e Estatística Call Number: PROD-3182198 Status: On Shelf Barcode: 3182198-10 Item Type: RECURSO ELETRÔNICO Item Status: PCD - não circula

Back to results list

Result 1