> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Concise Justifications Versus Detailed Proofs for Description Logic Entailments Beteiligte: Borgwardt, Stefan [VerfasserIn] Erschienen: Dresden: Technische Universität Dresden, 2023 Erschienen in: LTCS-Report ; 21-05 Umfang: 1 Online-Ressource Sprache: Englisch Identifikator: RVK-Notation: ST 136 : Automatentheorie, Formale Sprache Entstehung: Anmerkungen: In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-785040 Zugangsstatus: Freier Zugang