- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technical Reports ; TR-1994-001
- Klassifikation
-
Informatik
- Schlagwort
-
Deduktives Datenbanksystem ; Statelog
- Ereignis
-
Veröffentlichung
- (wo)
-
Mannheim
- (wer)
-
Universitätsbibliothek Mannheim
- (wann)
-
1994
- Urheber
- URN
-
urn:nbn:de:bsz:180-madoc-8276
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 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.
Beteiligte
- Lausen, Georg
- Ludaescher, Bertram
- Universitätsbibliothek Mannheim
Entstanden
- 1994
Ähnliche Objekte (12)
Default reasoning about probabilities
Default reasoning about probabilities
Default Reasoning about Actions
Reasoning about Ontology Mappings
Resource bounded reasoning about knowledge
Geometric reasoning about translational motions
Geometric reasoning about translational motions
Reasoning about terminating functional programs
Resource bounded reasoning about knowledge
Reasoning about terminating functional programs
Intelligent Data Analysis : Reasoning About Data
Reasoning about systems of linear inequalities
Default reasoning about probabilities
Default reasoning about probabilities
Default Reasoning about Actions
Reasoning about Ontology Mappings
Resource bounded reasoning about knowledge
Geometric reasoning about translational motions
Geometric reasoning about translational motions
Reasoning about terminating functional programs
Resource bounded reasoning about knowledge
Reasoning about terminating functional programs
Intelligent Data Analysis : Reasoning About Data
Reasoning about systems of linear inequalities
Default reasoning about probabilities
Default reasoning about probabilities
Default Reasoning about Actions
Reasoning about Ontology Mappings
Resource bounded reasoning about knowledge
Geometric reasoning about translational motions
Geometric reasoning about translational motions
Reasoning about terminating functional programs
Resource bounded reasoning about knowledge
Reasoning about terminating functional programs
Intelligent Data Analysis : Reasoning About Data