KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA830965

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

Oel, Peter



Zugehörige Institution(en) am KIT Institut für Betriebs- und Dialogsysteme (IBDS)
Publikationstyp Buch
Jahr 1996
Sprache Deutsch
Identifikator 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