%0 Generic
%T Verification of Golog Programs over Description Logic Actions
%A Zarrieß, Benjamin
%A Technische Universität Dresden
%A Baader, Franz
%A Sardina, Sebastian
%K Hochschulschrift
%K ALGOL
%K Logische Programmiersprache
%D 2. November 2017
%C Dresden
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation