Зведений каталог бібліотек Києва
Д16259Шкільняк, Степан Степанович. Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм [Текст] : дис. ... д-ра фіз.-мат. наук : 01.05.01 / Шкільняк С.С. ; КНУТШ. — Київ, 2010. — 347л. + Додаток : л.310-347.
- Ключові слова:
- Теми документа