Григорьев Олег Михайлович. Аналитико-табличная формализация систем временной логики
The number of pages:
115
university:
Москва
The year of defence:
2004
brief description:
Григорьев Олег Михайлович. Аналитико-табличная формализация систем временной логики : Дис. ... канд. филос. наук : 09.00.07 : Москва, 2004 115 c. РГБ ОД, 61:04-9/648