Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=0*
Treffer 476 von 3943
|
|
| Link zu diesem Datensatz | https://d-nb.info/1073868389 |
| Art des Inhalts | Hochschulschrift |
| Titel | Model and Proof Theory of Constructive ALC, Constructive Description Logics / Stephan M. Scheele. Betreuer: Michael Mendler |
| Person(en) |
Scheele, Stephan M. (Verfasser) Mendler, Michael (Akademischer Betreuer) |
| Organisation(en) | University of Bamberg Press (Verlag) |
| Verlag | Bamberg : University of Bamberg Press |
| Zeitliche Einordnung | Erscheinungsdatum: 2015 |
| Umfang/Format | Online-Ressource |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Scheele, Stephan M.: Model and proof theory of constructive ALC |
| Hochschulschrift | Zugl.: Bamberg, Otto-Friedrich-Universität Bamberg, Diss., 2015 |
| Persistent Identifier | URN: urn:nbn:de:bvb:473-opus4-264607 |
| URL | https://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/26460 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friedrich-Universität Bamberg ; 20 |
| Anmerkungen | Parallel erschienen als Druckausg. in der University of Bamberg Press, 2015 |
| Schlagwörter | Konstruktive Logik ; Terminologische Logik ; Online-Publikation |
| DDC-Notation | 005.131 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 476 von 3943
Administration
