TU Darmstadt / ULB / TUbiblio

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

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

Typ des Eintrags: Artikel
Erschienen: 1997
Autor(en): Bornscheuer, S.-E. ; Thielscher,
Titel: Explicit and implicit indeterminism: reasoning about uncertain and contradictory specifications of dynamic systems
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Journal of logic programming. 31 (1997), S. 119-155
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:03
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen