go top

quantifier-free conjunctive normal form

网络释义专业释义

  自由量词合取范式

prenex-conjunctive normal form 合取正规形式 quantifier-free conjunctive normal form 自由量词合取范式 normal conjunctive form 标准的逻辑乘法形式 ..

基于22个网页-相关网页

短语

quantifier-free conjunctive-normal form [计] 自由量词合取范式

  • 自由量词合取范式

·2,447,543篇论文数据,部分数据来源于NoteExpress

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定