Описание списков и множеств в метаязыке нормальных форм знаний

Кургаев А.Ф.
Описание списков и множеств в метаязыке нормальных форм знаний

Вид документа: Стаття періодичного видання
Рiк видання: 2020
Автор: Кургаев А.Ф. Вид автора: персона
Мова: Російська Обсяг: С.3-16
Шифр: 004.8 УДК: 004.8

Аннотацiя:

метаязык, множество, предикат, рекурсия, определение

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