Planen im Fluentkalkül mit binären Entscheidungsdiagrammen

Aus International Center for Computational Logic
Version vom 17. Mai 2016, 18:14 Uhr von Serge Stratan (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Hans-Peter |ErsterAutorNachname=Störr }} {{Phdthesis |Title=Planen im Fluentkalkül mit binären Entscheidungsd…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche
Toggle side column

Planen im Fluentkalkül mit binären Entscheidungsdiagrammen

Hans-Peter StörrHans-Peter Störr
Planen im Fluentkalkül mit binären Entscheidungsdiagrammen


Hans-Peter Störr
Planen im Fluentkalkül mit binären Entscheidungsdiagrammen
Phd thesis, Dresden University of Technology, 2005
@phdthesis{S2005,
  author = {Hans-Peter St{\"{o}}rr},
  title  = {Planen im Fluentkalk{\"{u}}l mit bin{\"{a}}ren
            Entscheidungsdiagrammen},
  school = {Dresden University of Technology},
  year   = {2005}
}