quantifier音标
英 [ˈkwɒntɪfaɪə(r)]
美 [ˈkwɑntɪfaɪə(r)]
quantifier翻译
n.
数量词,量词;
变形
复数:quantifiers
英英释义
quantifier[ 'kwɔntifaiə ]
n.(logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition
同义词:logical quantifier
(grammar) a word that expresses a quantity (as `fifteen' or `many')
quantifier用法
双语例句
用作名词(n.)When speaking of umbrella and fan, which quantifier do we use?
说到伞和扇子的时候,我们会用到哪个量词呢?
权威例句
On Quantifier Domain Restriction
Quantifier guided aggregation using OWA operators
Quantifier Elimination and Cylindrical Algebraic Decomposition
Quantifier Elimination and Cylindrical Algebraic Decomposition
Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition
Quantifier elimination for real closed fields by cylindrical algebraic decomposition--preliminary report
Partial Cylindrical Algebraic Decomposition for quantifier elimination
Partial Cylindrical Algebraic Decomposition for quantifier elimination *
On the combinatorial and algebraic complexity of quantifier elimination
On the computational complexity and geometry of the first-order theory of the reals. Part III: Quantifier elimination