Media type: E-Book; Thesis Title: Quantitative Variants of Language Equations and their Applications to Description Logics Contributor: Marantidis, Pavlos [VerfasserIn]; Baader, Franz [AkademischeR BetreuerIn]; Narendran, Paliath [AkademischeR BetreuerIn] Corporation: Technische Universität Dresden imprint: Dresden, 2019 Extent: 1 Online-Ressource Language: English Identifier: RVK notation: ST 240 : Programmiersprachen allgemein (Maschinenorientierte Programmiersprachen, problemorientierte prozedurale Sprachen, applikative und funktionale Sprachen) Keywords: Terminologische Logik > Unifikationstheorie > Programmiersprache Origination: University thesis: Dissertation, Technische Universität Dresden, 2019 Footnote: Information of inventory: Elektronischer Volltext - Zugang über WWW Access State: Open Access Rights information: In Copyright