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