Вывод с низу вверх, ориентированный на цель
method
ID: goaldrivenbottomupderivation
Детали сущности
Основная информация
ID сущности
goaldrivenbottomupderivation
Тип сущности
Method
Английская метка
Goal Driven Bottom Up Derivation
Русская метка
Вывод с низу вверх, ориентированный на цель
Казахская метка
Мақсатқа негізделген төменнен жоғары шығару
Частота
1
Описание
Английское описание
A derivation method that starts from goals and works backward to find proofs, using a bottom-up approach.
Русское описание
-
Казахское описание
-