Opening book details…
About this scholarly article
Temporal Logic Volume 827 by Gabbay, Dov M.; Ohlbach, Hans Jürgen is a scholarly article available to read on EtoBox.
- Author
- Gabbay, Dov M.; Ohlbach, Hans Jürgen
- Publisher
- Springer Berlin Heidelberg
- Published
- 1994
- Language
- EN