Ключевое слово
|
Индекс УДК
|
Вывод на основе недостоверного знания
|
004.832.34
|
Логический вывод (вычислительная техника)
|
004.832.3
|
Методы вывода (вычислительная техника)
|
004.832.32
|
Недостоверное знание (вычислительная техника)
|
004.832.34
|
Поиск в пространстве состояний (задачи)
|
004.832.23
|
Поиск на основе ограничений (вычислительная техника)
|
004.832.25
|
Поиск решения (вычислительная техника)
|
004.832.2
|
Представление задачи
|
004.832.22
|
Решение задач (вычислительная техника)
|
004.832
|
Управление логическим выводом
|
004.832.38
|