quantifier elimination 中文意思是什麼
quantifier elimination
解釋
量詞消去- quantifier : n. 【邏輯學】限量詞〈用 all, some 等語詞以及前綴[詞首]、符號等表示〉。
- elimination : n. 除去,消除,淘汰,排除(作用);【化學】棄置;【數學】消去,消元法 (eliminate matches 【體育】預賽,淘汰賽。 waste eliminate 消滅浪費)。
-
目前還沒有quantifier elimination例句。
分享友人