KIT | KIT-Bibliothek | Impressum

Many-valued logic, linear optimization and logic design: connections and interactions

Haehnle, Reiner



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1996
Sprache Englisch
Identifikator KITopen ID: 229996
Erscheinungsvermerk In: Symposium on Proof Theory and Computational Aspects of Many-Valued Logics at European Summer School on Logic, Language and Information, ESSLLI, Prague 1996. S. 1-27.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page