- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
33 Bl.
- Language
-
Deutsch
- Bibliographic citation
-
Interner Bericht / Universität Karlsruhe (TH) ; 87,15
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
Univ., Fak. für Informatik
- (when)
-
[1987]
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:01 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Käufl, Thomas
- Univ., Fak. für Informatik
Time of origin
- [1987]
Other Objects (12)
Computing intersections of Horn theories for reasoning with models
Reasoning in combinations of theories
Default reasoning about probabilities
Default Reasoning about Actions
Reasoning about Ontology Mappings
Default reasoning about probabilities
The Complexity of Finite Model Reasoning in Description Logics
Reasoning about systems based on incomplete and uncertain models
Resource bounded reasoning about knowledge
Geometric reasoning about translational motions
Reasoning about terminating functional programs
Updates by Reasoning about States
Computing intersections of Horn theories for reasoning with models
Reasoning in combinations of theories
Default reasoning about probabilities
Default Reasoning about Actions
Reasoning about Ontology Mappings
Default reasoning about probabilities
The Complexity of Finite Model Reasoning in Description Logics
Reasoning about systems based on incomplete and uncertain models
Resource bounded reasoning about knowledge
Geometric reasoning about translational motions
Reasoning about terminating functional programs
Updates by Reasoning about States
Computing intersections of Horn theories for reasoning with models
Reasoning in combinations of theories
Default reasoning about probabilities
Default Reasoning about Actions
Reasoning about Ontology Mappings
Default reasoning about probabilities
The Complexity of Finite Model Reasoning in Description Logics
Reasoning about systems based on incomplete and uncertain models
Resource bounded reasoning about knowledge
Geometric reasoning about translational motions
Reasoning about terminating functional programs