TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Jump to: English
Number of items: 3.

English

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, Bibliographie

Bornscheuer, S.-E. (1996)
Representing concurrent actions and solving conflicts.
In: Journal of the Interest Group in Pure and Applied Logics. 4 (1996), 3, S. 355-368
Article, Bibliographie

Bornscheuer, S.-E. (1996)
Representing concurrent actions and solving conflicts.
In: Journal of the Interest Group in Pure and Applied Logics. 4 (1996), 3, S. 355-368
Article, Bibliographie

This list was generated on Sat Feb 24 01:11:28 2024 CET.