УДК 004.832.3
Логический вывод
код УДК
описание
примечания
004.832.32
Методы вывода
004.832.34
Вывод на основе недостоверного знания
004.832.38
Управление логическим выводом