Transformation semantischer Tableaus in Klauselmengen mit starren Variablen und in Integer-programming-Probleme
| 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.) |