Түзу дедукция
method
ID: lineardeduction
Нысан мәліметтері
Негізгі ақпарат
Нысан ID
lineardeduction
Нысан түрі
Method
Ағылшын белгісі
Linear Deduction
Орыс белгісі
Линейное выведение
Қазақ белгісі
Түзу дедукция
Жиілік
1
Сипаттама
Ағылшын сипаттамасы
A system of deduction in linear logic used for flexible deduction.
Орыс сипаттамасы
-
Қазақ сипаттамасы
-