Mobile
Log In
Sign Up
Tools
Translator
Alphabet
Home
Chinese-English
English-Chinese
French-English
English-French
Home
>
chinese-english
>
"quantifier-free conjunctive-normal form" in English
English translation for "
quantifier-free conjunctive-normal form
"
自由量词合榷式
Related Translations:
quantifier
: n.【逻辑学】限量词〔用 all, some 等语词以及前缀[词首]、符号等表示〕。
universal quantifiers
: 概括性字眼
bounded quantifier
: 有界量词
statement quantifier
: 命题量词
quantifier elimination
: 量词消去量消去
distributive quantifier
: 分布数量词
unbounded quantifier
: 无界量词
heterogeneous quantifier
: 非纯一量词
nonstandard quantifiers
: 非标准量词
quantifier scoping
: 量词的辖域作用
Similar Words:
"quantifier" English translation
,
"quantifier elimination" English translation
,
"quantifier postposing transformation" English translation
,
"quantifier scoping" English translation
,
"quantifier-free" English translation
,
"quantifiter" English translation
,
"quantify" English translation
,
"quantify quantize" English translation
,
"quantifying" English translation
,
"quantifying risk" English translation