Вы здесь

Temporal and Modal Logic

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1994
Стр.: 
P.995-1072.
Библиография: 
Bibliogr.: p.1067-1072
Место издания: 
Издательство: 
Карточка: 

Б2.13.

Emerson E. A..

Temporal and Modal Logic-Cambridge.: The MIT Press// Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B, 1994.-P.995-1072.
Bibliogr.: p.1067-1072

Таблица в старой библиотеке: 
PAP17 360