«项重写系统排序»

项重写系统排序 в энциклопедиях

Источники

Большой китайско-русский словарь

Поделиться

Большой китайско-русский словарь

_

ordering for term-rewriting system