TY -
BOOK
AU - Störr, Hans-Peter
TI -
Planen im Fluentkalkül mit binären Entscheidungsdiagrammen
ET - Als Ms. gedr.
PB - dissertation.de, Verl. im Internet
SN - 3866240627
KW - Hochschulschrift
KW - Automatische Handlungsplanung
KW - Binäres Entscheidungsdiagramm
KW - Zustandsgraph
KW - Fluentkalkül
PY - 2005
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -