Planen im Fluentkalkül mit binären Entscheidungsdiagrammen

From International Center for Computational Logic
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}
}