Spara
Temporal Logic
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.
Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds;
Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds;
- Undertitel
- First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
- Redaktör
- Dov M. Gabbay, Hans J. Ohlbach
- Upplaga
- 1994 ed.
- ISBN
- 9783540582410
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1994-06-29
- Sidor
- 551
