EVA STAR Trefferanzeige

Volltext Volltext.pdf1.pdf (426 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA830965
Titel Transformation semantischer Tableaus in Klauselmengen mit starren Variablen und in Integer-programming-Probleme.
Autor Oel, Peter
Institution Fakultät für Informatik (INFORMATIK)
Institut für Betriebs- und Dialogsysteme (IBDS)
Dokumenttyp Buch
Jahr 1996
Erscheinungsvermerk Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,42.)