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