词汇“自由量词合取范式 quantifier-free conjunctive-normal form;”的意思、用法、释义、翻译、读音、例句、短语、词组-国际大辞典

单词	自由量词合取范式 quantifier-free conjunctive-normal form;
释义	见:自由: 自由量词合取范式 quantifier-free conjunctive-normal form;
随便看	初磨球磨机 primary ball mill 初秋初稳定性初稿初等初等代数 elementary algebra; 初等会计 elementary accounting; 初等几何学 elementary geometry; 初等函数 elementary function; 初等变式 alphabetic variant; 初等变换 elementary transformation; 初等学校 primary school; elementary school; 初等布尔矩阵 elementary Boolen matrix; 初等微分几何 metric differential geometry; 初等教育 primary education; elementary education; 初等数学 elementary mathematics; 初等数论 elementary number theory; elementary theory of numbers; number theory of elementary; 初等矩阵 elementary matrix; 初等积分 elementary integral; 初等算术 elementary arithmetic; 初等超越函数 elementary transcendental function; 初等运算 elementary operation 初等量 primary; 初级初级三体生物 primary trisomic;

国际大辞典收录了835600条英语、德语、日语等多语种在线翻译词条，基本涵盖了全部常用单词及词组的翻译及用法，是外语学习的有利工具。