Першопорядкові композиційно-номінативні логіки з предикатами слабкої та строгої рівності

Шкільняк С.С.
Першопорядкові композиційно-номінативні логіки з предикатами слабкої та строгої рівності

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

Аннотацiя:

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

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