TU Darmstadt / ULB / TUbiblio

Explicit and implicit indeterminism: reasoning about uncertain and contradictory specifications of dynamic systems

Bornscheuer, S.-E. and Thielscher, (1997):
Explicit and implicit indeterminism: reasoning about uncertain and contradictory specifications of dynamic systems.
In: Journal of logic programming. 31 (1997), S. 119-155, [Article]

Item Type: Article
Erschienen: 1997
Creators: Bornscheuer, S.-E. and Thielscher,
Title: Explicit and implicit indeterminism: reasoning about uncertain and contradictory specifications of dynamic systems
Language: English
Journal or Publication Title: Journal of logic programming. 31 (1997), S. 119-155
Divisions: 20 Department of Computer Science
Date Deposited: 19 Nov 2008 16:03
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details