|
|
ДС125296
 Шкільняк, Степан Степанович.
Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм [Текст] : дис. ... д-ра фіз.-мат. наук : 01.05.01 / Шкільняк Степан Степанович ; Київ. нац. ун-т ім. Т. Шевченка. - К., 2010. - 348 арк. - Бібліогр.: арк. 294-309.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
|