Media type: E-Book Title: Verification of Golog Programs over Description Logic Actions Contributor: Baader, Franz [VerfasserIn]; Zarrieß, Benjamin [VerfasserIn] imprint: Dresden: Technische Universität Dresden, 2013 Published in: LTCS-Report ; 13,8 Extent: 1 Online-Ressource Language: English Identifier: RVK notation: ST 136 : Automatentheorie, Formale Sprache ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge Keywords: Forschungsbericht Origination: Footnote: In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-785040 Information of inventory: Elektronischer Volltext - Zugang über WWW Access State: Open Access Rights information: Attribution (CC BY)