【计】 自由量词合取范式
在线英汉词典
quantifier-free conjunctive-normal form
相关词语
- quantifier n.数量词,精于计算的人量词...
- unbounded quantifier 无界量词...
- scope of quantifier 量词辖域;量词作用域;符号名作...
- bounded quantifier 有界量词...
- bounded universal quantifier 有界全称量词...
- universal quantifier 全称量词...
- statement quantifier 命题量词...
- existential quantifier 存在量词...
- existing quantifier 存在量词...
- bounded existential quantifier 有界存在量词...