Алгоритмические свойства модальных логик информационных систем
Шапировский Илья Борисович. Алгоритмические свойства модальных логик информационных систем : диссертация ... кандидата физико-математических наук : 05.13.17, 01.01.06 / Шапировский Илья Борисович; [Место защиты: Ин-т проблем передачи информации им. А.А. Харкевича РАН].- Москва, 2007.- 112 с.: ил. РГБ ОД, 61 07-1/1231