quantifier-free conjunctive-normal form

网络释义

1.	自由量词合取范式电脑名词译名 ... quantifier scoping 量词范畴 quantifier-free conjunctive normal form 自由量词合取范式 ... www.iicm.org.tw

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。