| |
Кургаев, А. Ф.
Формализацыя списков в метаязыке нормальных форм знаний [Текст] / А. Ф. Кургаев
// Доповіді Національної Академії Наук України: Математика. Природознавство. Технічні науки. – 2017. – № 10. – С. 18–27. – Библиогр. в конце ст.
Вперше розроблена в метамові нормальних форм знань з інформатики практична формалізація багатьох предикатів на списках.
|
