Григорьев Олег Михайлович. Аналитико-табличная формализация систем временной логики
Кількість сторінок:
115
ВНЗ:
Москва
Рік захисту:
2004
Короткий опис:
Григорьев Олег Михайлович. Аналитико-табличная формализация систем временной логики : Дис. ... канд. филос. наук : 09.00.07 : Москва, 2004 115 c. РГБ ОД, 61:04-9/648