Bornscheuer, S.-E. ; 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. ; Thielscher, |
Type of entry: | Bibliographie |
Title: | Explicit and implicit indeterminism: reasoning about uncertain and contradictory specifications of dynamic systems |
Language: | English |
Date: | 1 January 1997 |
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 |
Last Modified: | 20 Feb 2020 13:30 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
Show editorial Details |