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