cut-elimination theorem 中文意思是什麼
cut-elimination theorem
解釋
切消定理- cut : vt (cut; cutting)1 切,割,截,斬,砍(樹),剪(發等);切斷,割下;採伐;剪下;修剪,刈。 I h...
- elimination : n. 除去,消除,淘汰,排除(作用);【化學】棄置;【數學】消去,消元法 (eliminate matches 【體育】預賽,淘汰賽。 waste eliminate 消滅浪費)。
- theorem : n. 1. (能證明的)一般原理,公理,定律,法則。2. 【數學】定理。
-
目前還沒有cut-elimination theorem例句。
分享友人