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
Number of items: 3.

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]

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]

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]

This list was generated on Tue Aug 4 00:56:27 2020 CEST.