Temporal Logic
First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
Szerző:
Dov M. Gabbay, Hans J. Ohlbach
Elérhetőség:
Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
41 287
Ft
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICT...
