Model and Proof Theory of Constructive ALC, Constructive Description Logics (Englisch)
- Neue Suche nach: Scheele, Stephan M.
- Neue Suche nach: Scheele, Stephan M.
- Neue Suche nach: Mendler, Michael
2015
- Hochschulschrift / Elektronische Ressource
-
Titel:Model and Proof Theory of Constructive ALC, Constructive Description Logics
-
Beteiligte:Scheele, Stephan M. ( Autor:in ) / Mendler, Michael
-
Hochschulschrift:Zugl.: Bamberg, Otto-Friedrich-Universität Bamberg, Diss., 2015
-
Erschienen in:
-
Verlag:
- Neue Suche nach: University of Bamberg Press
-
Erscheinungsort:Bamberg
-
Erscheinungsdatum:2015
-
Format / Umfang:Online-Ressource
-
Anmerkungen:Parallel erschienen als Druckausg. in der University of Bamberg Press, 2015
-
Medientyp:Hochschulschrift
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Datenquelle: