Обратное разрешение
method
ID: inverseresolution
Детали сущности
Основная информация
ID сущности
inverseresolution
Тип сущности
Method
Английская метка
Inverse Resolution
Русская метка
Обратное разрешение
Казахская метка
Кері шешім
Частота
1
Описание
Английское описание
A technique used in logic programming to derive a goal from a set of rules.
Русское описание
-
Казахское описание
-