Siirry suoraan sisältöön
Temporal Logic
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;
Alaotsikko
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Painos
1994 ed.
ISBN
9783540582410
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
29.6.1994
Sivumäärä
551