«证明程序»

证明程序 в энциклопедиях

Источники

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

Поделиться

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

_

justification routine, prover