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
Artikel, Bibliographie
Typ des Eintrags: | Artikel |
---|---|
Erschienen: | 1997 |
Autor(en): | Bornscheuer, S.-E. ; Thielscher, |
Art des Eintrags: | Bibliographie |
Titel: | Explicit and implicit indeterminism: reasoning about uncertain and contradictory specifications of dynamic systems |
Sprache: | Englisch |
Publikationsjahr: | 1997 |
Titel der Zeitschrift, Zeitung oder Schriftenreihe: | Journal of logic programming. 31 (1997), S. 119-155 |
Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik |
Hinterlegungsdatum: | 19 Nov 2008 16:03 |
Letzte Änderung: | 20 Feb 2020 13:30 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Frage zum Eintrag |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |