Future Branching Time Logics and Fairness | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Колл. автор:

Вид:

Препринт

Год:

1982

Ключевые слова:

Стр.:

16 p.

Библиография:

Bibliogr.: p.15

Место издания:

Номер:

CSR-105-82

Карточка:

Б2.13.

Stirling C..

Future Branching Time Logics and Fairness-Edinburgh., 1982.-16 p.-(Препринт Univ.Edinburgh №CSR-105-82).
Bibliogr.: p.15

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

PREP2 956