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例句。
分享友人