Barringer, H.Ed.,Fisher,M.Ed. Gabbay, Dov. Ed. Gouchi, Graham. Ed.
Advances in Temporal Logic : (ALS 16) - Netherlands Kluwer Acad. 2000 - 453 - Applied Logic Series, 16 .
0 7923 6149 0
Temporal Logic
510.6 BAR
Advances in Temporal Logic : (ALS 16) - Netherlands Kluwer Acad. 2000 - 453 - Applied Logic Series, 16 .
0 7923 6149 0
Temporal Logic
510.6 BAR