切消定理的英文

• cut-elimination theorem

• "切"英文翻译    correspond to; be close to
• "消"英文翻译    disappear; vanish
• "定理"英文翻译    theorem
• "复合切消" 英文翻译 :    combined cutting
• "切消面积" 英文翻译 :    area of cut
• "切消袷度" 英文翻译 :    machining allowance
• "撤消定单" 英文翻译 :    cancel an order
• "取消定单" 英文翻译 :    cancel the order
• "取消定货" 英文翻译 :    cancel an order; cancel the order; cancellation of order; cancellation of the order
• "取消定位" 英文翻译 :    cancel one’s reservation
• "取消定义" 英文翻译 :    undefine
• "定理" 英文翻译 :    (已经证明正确,可以作为原则或规律的命题或公式) theorem 基本定理 fundamental theorem; 几何定理 geometrical theorems; 定理验证[明] theorem proving
• "恒定切消速度" 英文翻译 :    constant cutting speed
• "限制酶切消化" 英文翻译 :    restriction digest
• "取消定货合同" 英文翻译 :    cancellation of purchase contract; cancellation of purchase orders
• "取消定货的手续费" 英文翻译 :    deletion allowances
• "15-定理" 英文翻译 :    15 and 290 theorems; 15 theorem
• "amdahl定理" 英文翻译 :    amdahl's law
• "beatty定理" 英文翻译 :    beatty sequence; beatty's theorem
• "cpt定理" 英文翻译 :    cpt theorem
• "desargues定理" 英文翻译 :    desargues' theorem
• "gustafson定理" 英文翻译 :    gustafson's law
• "h 定理" 英文翻译 :    h theorem
• "h定理" 英文翻译 :    h theorem
• "midy定理" 英文翻译 :    midy's theorem

• 切消定理的法语：Théorème d'élimination des coupures
• 切消定理的日语：カット除去定理
• 切消定理的韩语：자름-제거 정리
• 切消定理的俄语：Устранимость сечений