TY - GEN
AU - Zarrieß, Benjamin
AU - Technische Universität Dresden
AU - Baader, Franz
AU - Sardina, Sebastian
TI - Verification of Golog Programs over Description Logic Actions
KW - Hochschulschrift
KW - ALGOL
KW - Logische Programmiersprache
PY - 2. November 2017
CY - Dresden
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation