Tallenna
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;
- Alaotsikko
- First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
- Toimittaja
- Dov M. Gabbay, Hans J. Ohlbach
- Painos
- 1994 ed.
- ISBN
- 9783540582410
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 29.6.1994
- Sivumäärä
- 551
