Вы здесь
П -universality of some propositional logics of concurrent programs
Количество экземпляров:
1
Колл. автор:
Вид:
Статья из сборника или журнала
Год:
1991
Ключевые слова:
Стр.:
P.207-216.
Библиография:
Bibliogr.: p.216
Место издания:
Источник:
Карточка:
Б2.14, Б2.22.
Valiev M..
П -universality of some propositional logics of concurrent programs-Rocquencourt.// Informatika 91: Theoretical Computer Science and Methods of Compilation and Program Construction, 1991.-P.207-216.
Bibliogr.: p.216
Таблица в старой библиотеке:
PAP2 747