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

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

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

Аннотацiя:

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

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