|
-
Ключові слова:
конструювання програм, конструирование програм ; логічні системи, логические системы ; програмування, программирование, programming
-
Анотація:
Пропонуються парамодуляційні поширення лінійного заперечення та метода елімінації моделей, що урахувають "напрямок" застосування парамодуляції у вигляді окремих правил. Наведені результати про те, що для одержання повних (у загальному розумінні) парамодуляційних поширень можуть бути використовані тільки три з чотирьох можливих правил парамодуляційного типу.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
|
