Transformations between signed and classical clause logic

; Haehnle, Reiner; Manya, Felip

Seitenaufrufe: 43
seit 19.11.2018

Zugehörige Institution(en) am KIT	Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp	Buchaufsatz
Publikationsjahr	1999
Sprache	Englisch
Identifikator	KITopen-ID: 326799
Erscheinungsvermerk	In: Proceedings. 29th International Symposium on Multiple-Valued Logics, Freiburg 1999. Los Alamitos 1999. S. 248-255.