quantifier-free conjunctive-normal form
quantifier-free conjunctive-normal form是什么意思、quantifier-free conjunctive-normal form怎么读
【计】 自由量词合取范式
quantifier-free conjunctive-normal form汉语翻译
【计】 自由量词合取范式