Пропозиційні логіки часткових предикатів з композицією предикатного доповнення

Нікітченко О.С., Шкільняк С.С.
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення

Вид документа: Стаття періодичного видання
Автор: Нікітченко О.С., Шкільняк С.С. Вид автора: персона
Мова: Українська Обсяг: С.3-14
Шифр: 004 УДК: 004

Аннотацiя:

логіка, предикат, логічний наслідок

Є складовою частиною документа: Проблеми програмування