Кері шешім

method ID: inverseresolution

Нысан мәліметтері

Негізгі ақпарат

Нысан ID

inverseresolution

Нысан түрі

Method

Ағылшын белгісі

Inverse Resolution

Орыс белгісі

Обратное разрешение

Қазақ белгісі

Кері шешім

Жиілік

1

Сипаттама

Ағылшын сипаттамасы

A technique used in logic programming to derive a goal from a set of rules.

Орыс сипаттамасы

-

Қазақ сипаттамасы

-