KIT | KIT-Bibliothek | Impressum | Datenschutz

Transformations between signed and classical clause logic

Beckert, Bernhard; Haehnle, Reiner; Manya, Felip



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 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.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page