Dynamic minimization of OKFDDs:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Drechsler, Rolf 1969- (VerfasserIn), Becker, Bernd (VerfasserIn)
Format: Buch
Sprache:German
Veröffentlicht: Frankfurt/Main Fachbereich Informatik, Univ. [1995]
Schriftenreihe:Universität <Frankfurt, Main> / Fachbereich Informatik: Interner Bericht 1995,5
Beschreibung:10, 8 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!