Hochschulschrift
Reasoning about processes and continuous change : analysis and implementation
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826567964
382656796X
- Maße
-
21 cm
- Umfang
-
II, 122 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Darmstadt, Techn. Univ., Diss., 1999
- Schlagwort
-
Logische Programmierung
Dynamisches System
Kontinuierliches System
Prozessalgebra
Formale Semantik
Temporales Schließen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:48 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Li, Chunping
- Shaker
Entstanden
- 1999
Ähnliche Objekte (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