Hochschulschrift
Model and Proof Theory of Constructive ALC, Constructive Description Logics
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Parallel erschienen als Druckausg. in der University of Bamberg Press, 2015
Zugl.: Bamberg, Otto-Friedrich-Universität Bamberg, Diss., 2015
- Erschienen in
-
Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friedrich-Universität Bamberg ; 20
- Schlagwort
-
Konstruktive Logik ; Terminologische Logik ; Online-Publikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Bamberg
- (wer)
-
University of Bamberg Press
- (wann)
-
2015
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:bvb:473-opus4-264607
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:49 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Scheele, Stephan M.
- Mendler, Michael
- University of Bamberg Press
- University of Bamberg Press
Entstanden
- 2015
Ähnliche Objekte (12)
Model and proof theory of constructive ALC : constructive description logics
Towards Constructive Description Logics for Abstraction and Refinement
Constructive decision theory
Constructive quantum field theory
Constructive differential Galois theory
Constructive proofs or constructive statements?
Computability in constructive type theory
Diagramm design : a constructive theory
A proof theory for preferential default description logics
Constructive waterfalls
Constructive analysis
Constructive approximation
Model and proof theory of constructive ALC : constructive description logics
Towards Constructive Description Logics for Abstraction and Refinement
Constructive decision theory
Constructive quantum field theory
Constructive differential Galois theory
Constructive proofs or constructive statements?
Computability in constructive type theory
Diagramm design : a constructive theory
A proof theory for preferential default description logics
Constructive waterfalls
Constructive analysis
Constructive approximation
Model and proof theory of constructive ALC : constructive description logics
Towards Constructive Description Logics for Abstraction and Refinement
Constructive decision theory
Constructive quantum field theory
Constructive differential Galois theory
Constructive proofs or constructive statements?
Computability in constructive type theory
Diagramm design : a constructive theory
A proof theory for preferential default description logics
Constructive waterfalls
Constructive analysis