Hochschulschrift
Reasoning about processes and continuous change : analysis and implementation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826567964
382656796X
- Dimensions
-
21 cm
- Extent
-
II, 122 S.
- Edition
-
Als Ms. gedr.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Darmstadt, Techn. Univ., Diss., 1999
- Keyword
-
Logische Programmierung
Dynamisches System
Kontinuierliches System
Prozessalgebra
Formale Semantik
Temporales Schließen
- 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, 1:48 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.
Object type
- Hochschulschrift
Associated
- Li, Chunping
- Shaker
Time of origin
- 1999
Other Objects (12)
Reasoning about dependence and independence : teams and multiteams
Optimal regression for reasoning about knowledge and actions
Reasoning about distributed relational data and query evaluation
Reasoning about Ontology Mappings
Default reasoning about probabilities
Default reasoning about probabilities
Default Reasoning about Actions
Annotating, extracting and reasoning about time and events : 05151 summary
Nonmonotonic reasoning based on minimal models and its implementation
The relationship between reasoning about privacy and default logics
Reasoning about outcome probabilities and values in preference reversals
Reasoning about strategies and rational play in dynamic games
Reasoning about dependence and independence : teams and multiteams
Optimal regression for reasoning about knowledge and actions
Reasoning about distributed relational data and query evaluation
Reasoning about Ontology Mappings
Default reasoning about probabilities
Default reasoning about probabilities
Default Reasoning about Actions
Annotating, extracting and reasoning about time and events : 05151 summary
Nonmonotonic reasoning based on minimal models and its implementation
The relationship between reasoning about privacy and default logics
Reasoning about outcome probabilities and values in preference reversals
Reasoning about strategies and rational play in dynamic games
Reasoning about dependence and independence : teams and multiteams
Optimal regression for reasoning about knowledge and actions
Reasoning about distributed relational data and query evaluation
Reasoning about Ontology Mappings
Default reasoning about probabilities
Default reasoning about probabilities
Default Reasoning about Actions
Annotating, extracting and reasoning about time and events : 05151 summary
Nonmonotonic reasoning based on minimal models and its implementation
The relationship between reasoning about privacy and default logics
Reasoning about outcome probabilities and values in preference reversals