规范推导的英文翻译

中文:规范推导

英文翻译:【计】 canonical derivation免费