Вы здесь
Alternating-Time Temporal Logic
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1998
Ключевые слова:
Стр.:
P.23-60
Библиография:
Bibliogr.: p.57-60
Место издания:
Источник:
Том:
1536
Карточка:
Б2.13.
Alur R., Henzinger T. A., Kupferman O..
Alternating-Time Temporal Logic-Berlin, Heidelberg.// Lecture Notes in Computer Science, 1998.-Vol. 1536.-P.23-60-(Lecture Notes in Computer Science).
Bibliogr.: p.57-60
Таблица в старой библиотеке:
PAP19 84