Starten Sie Ihre Suche...


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

Binary decision diagrams and the multiple variable order problem

Trier: Univ., Mathematik/Informatik 1998 9 S. (Trierer Forschungsberichte ; 98-22)

Erscheinungsjahr: 1998

Publikationstyp: Buch

Autoren

Cabodi, Gianpiero (Beteiligte Person)
Meinel, Christoph (Autor)

Verknüpfte Personen

Christoph Meinel

Beteiligte Einrichtungen

Logo Informatikwissenschaften