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

1997

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]

1996

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 Sat Aug 13 04:28:34 2022 CEST.