> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies Beteiligte: Baader, Franz [Verfasser:in]; Borgwardt, Stefan [Verfasser:in]; Morawska, Barbara [Verfasser:in] Erschienen: Dresden: Technische Universität Dresden, 2012 Erschienen in: LTCS-Report ; 12,5 Umfang: 1 Online-Ressource Sprache: Englisch Identifikator: RVK-Notation: ST 136 : Automatentheorie, Formale Sprache Schlagwörter: Forschungsbericht Entstehung: Anmerkungen: In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-785040 Information zum Bestand: Elektronischer Volltext - Zugang über WWW Zugangsstatus: Freier Zugang Rechte-/Nutzungshinweise: Namensnennung (CC BY)