Шкільняк С. С., Волковицький Д. Б.
Композиційно-номінативні логіки безкванторних рівнів
Вид документа: Стаття періодики
Автор: Шкільняк С. С., Волковицький Д. Б. Вид автора: персона
Мова: Українська Обсяг: С. 48-62
Шифр: 004.42+510.69 УДК: 004.42+510.69
| Аннотацiя: | Досліджено безкванторні композиційно-номінативні логіки часткових квазіарних предикатів. |
Є складовою частиною документа: Проблеми програмування
| | Назва головного документа: | Проблеми програмування |
| | Дата видання головного документа: | 2016 |
| | Номер частини головного документа: | № 2-3 |
Теми документа
|
