Hochschulschrift
Model and proof theory of constructive ALC : constructive description logics
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783863093204
- Maße
-
24 cm
- Umfang
-
XIII, 326 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Bamberg, Univ., Diss., 2015
- Erschienen in
-
Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friedrich-Universität Bamberg / Universität Bamberg ; Bd. 20
- Schlagwort
-
Konstruktive Logik ; Terminologische Logik ; Online-Publikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Bamberg
- (wer)
-
Univ. of Bamberg Press
- (wann)
-
2015
- Urheber
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:21 MESZ
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.
- University of Bamberg Press
- Univ. 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?
Diagramm design : a constructive theory
Computability in constructive type theory
A proof theory for preferential default description logics
Constructive approximation
Constructive analysis
Constructive waterfalls
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?
Diagramm design : a constructive theory
Computability in constructive type theory
A proof theory for preferential default description logics
Constructive approximation
Constructive analysis
Constructive waterfalls
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?
Diagramm design : a constructive theory
Computability in constructive type theory
A proof theory for preferential default description logics
Constructive approximation
Constructive analysis