在线词典

分类:语言工具
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。

prenex-conjunctive normal form

查词链接:https://www.dute.org/dict/prenex-conjunctive_normal_form复制链接
合取正规形式

网络释义
前束合取范式
... 前束范式 prenex normal form; 前束合取范式 prenex-conjunctive normal form; 前束式 prenex form; prenex formula; ...
合取正规形式
Konjunktive Normalform conjunctive normal form 合取范式 prenex-conjunctive normal form 合取正规形式 quantifier-free conjunctive normal form 自由量词合取范式 ..
常用短语
* 以上查询结果来自于网络,仅供参考。
正在查询...