Зведений каталог бібліотек Тернополя
Шкільняк, О. С. Композиційно-номінативні модальні логіки функціонально-екваційного рівня [Текст] / О.С. Шкільняк // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2010. — №3. — с.42-47.
- Є складовою частиною документа:
Проблеми програмування [Текст] : Науковий журнал. — К. : Інститут програмних систем НАН України, 2010. — №3. — 120 с.
- Теми документа