Линейное выведение
method
ID: lineardeduction
Детали сущности
Основная информация
ID сущности
lineardeduction
Тип сущности
Method
Английская метка
Linear Deduction
Русская метка
Линейное выведение
Казахская метка
Түзу дедукция
Частота
1
Описание
Английское описание
A system of deduction in linear logic used for flexible deduction.
Русское описание
-
Казахское описание
-