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