493249
Аналитико-табличная формализация систем временной логики : диссертация ... кандидата философских наук : 09.00.07
2004, Москва
Логика. Диссертация Аналитико-табличная формализация систем временной логики : диссертация ... кандидата философских наук : 09.00.07, Москва, 2004