- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
68 S.
- Sprache
-
Deutsch
- Erschienen in
-
KIT-Report / Technische Universität Berlin ; 117 : KIT VM 11
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
TU, Fachbereich 13, Projektgruppe KIT
- (wann)
-
1994
- Urheber
-
Suska, Sven
- 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:02 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.
Beteiligte
- Suska, Sven
- TU, Fachbereich 13, Projektgruppe KIT
Entstanden
- 1994
Ähnliche Objekte (12)
Preferential default description logics
Consideration on default logics
Considerations on default logics
Model and proof theory of constructive ALC : constructive description logics
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Gödel Description Logics
Proof reconstruction in classical and non-classical logics
The relationship between reasoning about privacy and default logics
Computing updates in description logics
Undecidability of Fuzzy Description Logics
Ordinal logics and the characterization of informal concepts of proof
Semantic matchmaking with nonmonotonic description logics
Preferential default description logics
Consideration on default logics
Considerations on default logics
Model and proof theory of constructive ALC : constructive description logics
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Gödel Description Logics
Proof reconstruction in classical and non-classical logics
The relationship between reasoning about privacy and default logics
Computing updates in description logics
Undecidability of Fuzzy Description Logics
Ordinal logics and the characterization of informal concepts of proof
Semantic matchmaking with nonmonotonic description logics
Preferential default description logics
Consideration on default logics
Considerations on default logics
Model and proof theory of constructive ALC : constructive description logics
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Gödel Description Logics
Proof reconstruction in classical and non-classical logics
The relationship between reasoning about privacy and default logics
Computing updates in description logics
Undecidability of Fuzzy Description Logics
Ordinal logics and the characterization of informal concepts of proof