Дәлелді қысқарту
method
ID: proofreduction
Нысан мәліметтері
Негізгі ақпарат
Нысан ID
proofreduction
Нысан түрі
Method
Ағылшын белгісі
Proof Reduction
Орыс белгісі
Сокращение доказательства
Қазақ белгісі
Дәлелді қысқарту
Жиілік
1
Сипаттама
Ағылшын сипаттамасы
A technique advocating the simplification of derivation proofs in parsing.
Орыс сипаттамасы
-
Қазақ сипаттамасы
-