Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Case-study : manipulating -OBDDs by means of signatures

Trier: Univ., Fachbereich Mathematik, Informatik 1997 12 S. (Forschungsbericht ; 97-15)

Erscheinungsjahr: 1997

Publikationstyp: Buch

Sprache: Englisch

GeprüftBibliothek

Autoren


Sack, Harald (Autor)

Verbundene Forschungsprojekte



Verknüpfte Personen


Beteiligte Einrichtungen