Spar
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;
- Undertittel
- First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
- Redaktør
- Dov M. Gabbay, Hans J. Ohlbach
- Opplag
- 1994 ed.
- ISBN
- 9783540582410
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 29.6.1994
- Antall sider
- 551
