KIT | KIT-Bibliothek | Impressum

Algorithms for Boolean unification

Bockmayr, Alexander; Rath, Hans-Holger



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1989
Sprache Englisch
Identifikator KITopen ID: 255089
Erscheinungsvermerk In: FAW Workshop "Boolean Functions, Propositional Logic and AI Systems", Ulm 1989.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page