> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Verification of Golog Programs over Description Logic Actions Beteiligte: Zarrieß, Benjamin [Verfasser]; Baader, Franz [Gutachter]; Baader, Franz [Gutachter]; Sardina, Sebastian [Gutachter] Erschienen: Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2018 Umfang: Online-Ressource Sprache: Englisch Identifikator: RVK-Notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge Schlagwörter: Programs ; Logic ; Formale Verifikation ; Aktionssprachen ; Beschreibungslogik ; Verification ; Action Language ; Description Logic ; Hochschulschrift Entstehung: Hochschulschrift: Dissertation, Dresden, Technische Universität Dresden, 2017 Anmerkungen: Zugangsstatus: Freier Zugang