Skip to contents Raulefs, Peter [Author]; Siekmann, Jörg [Author] Unification of idempotent functions Books View online Schließen > Links http://nbn-resolving.org/urn:nbn:de:bsz:291--ds-368810 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarländische Universitäts- und Landesbibliothek, 1978 Forschung und Transfer, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization DIN CWA 95000 : Grundsätze und Konzepte für die Lizensierung von standardessentiellen Patenten; Deutsche Fassung CWA 95000:2019 - [2021-02-00] Standards View online Schließen > Links https://www.nautos.de/O9G/search/item-detail/DE30087579 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Wien, Zürich: Beuth Verlag, 2021 Published in: DIN-Regelwerk- DIN CEN Workshop Agreements Baader, Franz [Author]; Borgwardt, Stefan [Author]; Morawska, Barbara [Author] A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies Books View online Schließen > Access https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795313 More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2012 Published in: LTCS-Report ; 12,5 Baader, Franz [Author]; Borgwardt, Stefan [Author]; Morawska, Barbara [Author] SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies Books View online Schließen > Access https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795283 More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2012 Published in: LTCS-Report ; 12,2 Baader, Franz [Author]; Borgwardt, Stefan [Author]; Morawska, Barbara [Author] Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes Books View online Schließen > Access https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795252 More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2011 Published in: LTCS-Report ; 11,5
Raulefs, Peter [Author]; Siekmann, Jörg [Author] Unification of idempotent functions Books View online Schließen > Links http://nbn-resolving.org/urn:nbn:de:bsz:291--ds-368810 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarländische Universitäts- und Landesbibliothek, 1978
Forschung und Transfer, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization DIN CWA 95000 : Grundsätze und Konzepte für die Lizensierung von standardessentiellen Patenten; Deutsche Fassung CWA 95000:2019 - [2021-02-00] Standards View online Schließen > Links https://www.nautos.de/O9G/search/item-detail/DE30087579 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Wien, Zürich: Beuth Verlag, 2021 Published in: DIN-Regelwerk- DIN CEN Workshop Agreements
Baader, Franz [Author]; Borgwardt, Stefan [Author]; Morawska, Barbara [Author] A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies Books View online Schließen > Access https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795313 More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2012 Published in: LTCS-Report ; 12,5
> Access https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795313 More information on the full text Show more show less
Baader, Franz [Author]; Borgwardt, Stefan [Author]; Morawska, Barbara [Author] SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies Books View online Schließen > Access https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795283 More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2012 Published in: LTCS-Report ; 12,2
> Access https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795283 More information on the full text Show more show less
Baader, Franz [Author]; Borgwardt, Stefan [Author]; Morawska, Barbara [Author] Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes Books View online Schließen > Access https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795252 More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2011 Published in: LTCS-Report ; 11,5
> Access https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795252 More information on the full text Show more show less
> Media type Skip to next facet Books (4) Wert ausschließen Standards (1) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution (CC BY) (3) Wert ausschließen In Copyright (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (4) Wert ausschließen Restricted Access (1) Wert ausschließen Show more show less
> Language Skip to next facet English (4) Wert ausschließen German (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (4) Wert ausschließen Mathmatics (1) Wert ausschließen Technology (1) Wert ausschließen Economics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Baader, Franz (3) Wert ausschließen Borgwardt, Stefan (3) Wert ausschließen Morawska, Barbara (3) Wert ausschließen DIN Deutsches Institut für Normung e. V. (1) Wert ausschließen DIN German Institute for Standardization (1) Wert ausschließen Forschung und Transfer (1) Wert ausschließen Raulefs, Peter (1) Wert ausschließen Siekmann, Jörg (1) Wert ausschließen Show more show less
> Collection Skip to next facet Lizenzfreie Online-Ressourcen (3) Wert ausschließen Qucosa (3) Wert ausschließen Verbunddaten SWB (3) Wert ausschließen BASE - Bielefeld Academic Search Engine (1) Wert ausschließen Nautos (DIN-Normen) (1) Wert ausschließen Scientific publications of the Saarland University (UdS) (1) Wert ausschließen Show more show less