KIT | KIT-Bibliothek | Impressum | Datenschutz

Transformation semantischer Tableaus in Klauselmengen mit starren Variablen und in Integer-programming-Probleme

Oel, Peter


Volltext §
DOI: 10.5445/IR/83096
Cover der Publikation
Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Betriebs- und Dialogsysteme (IBDS)
Publikationstyp Buch
Publikationsjahr 1996
Sprache Deutsch
Identifikator urn:nbn:de:swb:90-AAA830965
KITopen-ID: 83096
Erscheinungsvermerk Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,42.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page