Зведений каталог бібліотек Миколаєва
004.42+510.69Нікітченко, М. С. Логіки квазіарних предикатів кванторно-екваційного рівня [Текст] / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 19-34.
- Ключові слова:
- Анотація:
Досліджено першопорядкові композиційно-номінативні логіки частково однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів кванторно-екваційного рівня.
- Є складовою частиною документів:
- Теми документа