- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
33 Bl.
- Sprache
-
Deutsch
- Erschienen in
-
Interner Bericht / Universität Karlsruhe (TH) ; 87,15
- Ereignis
-
Veröffentlichung
- (wo)
-
Karlsruhe
- (wer)
-
Univ., Fak. für Informatik
- (wann)
-
[1987]
- Urheber
- 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:01 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
- Käufl, Thomas
- Univ., Fak. für Informatik
Entstanden
- [1987]
Ähnliche Objekte (12)
Computing intersections of Horn theories for reasoning with models
Reasoning in combinations of theories
Default reasoning about probabilities
Default reasoning about probabilities
Default Reasoning about Actions
Reasoning about Ontology Mappings
The Complexity of Finite Model Reasoning in Description Logics
Reasoning about systems based on incomplete and uncertain models
Resource bounded reasoning about knowledge
Updates by Reasoning about States
Geometric reasoning about translational motions
Geometric reasoning about translational motions
Computing intersections of Horn theories for reasoning with models
Reasoning in combinations of theories
Default reasoning about probabilities
Default reasoning about probabilities
Default Reasoning about Actions
Reasoning about Ontology Mappings
The Complexity of Finite Model Reasoning in Description Logics
Reasoning about systems based on incomplete and uncertain models
Resource bounded reasoning about knowledge
Updates by Reasoning about States
Geometric reasoning about translational motions
Geometric reasoning about translational motions
Computing intersections of Horn theories for reasoning with models
Reasoning in combinations of theories
Default reasoning about probabilities
Default reasoning about probabilities
Default Reasoning about Actions
Reasoning about Ontology Mappings
The Complexity of Finite Model Reasoning in Description Logics
Reasoning about systems based on incomplete and uncertain models
Resource bounded reasoning about knowledge
Updates by Reasoning about States
Geometric reasoning about translational motions