Executable Modal and Temporal Logics IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings / edited by Michael Fisher, Richard Owens.
Material type:
- 9783540491682
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
ICCBS Digital Library | Not for loan |