Сокращение доказательства
method
ID: proofreduction
Детали сущности
Основная информация
ID сущности
proofreduction
Тип сущности
Method
Английская метка
Proof Reduction
Русская метка
Сокращение доказательства
Казахская метка
Дәлелді қысқарту
Частота
1
Описание
Английское описание
A technique advocating the simplification of derivation proofs in parsing.
Русское описание
-
Казахское описание
-