| 标题 |
 书籍（章节） Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form 用合取范式枚举命题公式的素数蕴涵
相关领域
关联方
合取范式
命题公式
析取范式
枚举
计算机科学
布尔函数
集合（抽象数据类型）
命题演算
素数（序理论）
真量化布尔公式
编码（内存）
布尔数据类型
离散数学
算术
算法
数学
理论计算机科学
布尔表达式
命题变量
组合数学
程序设计语言
人工智能
描述逻辑
中间逻辑
|
| 网址 | |
| DOI | |
| 其它 |
期刊：Lecture notes in computer science 作者：Saïd Jabbour; João Marques‐Silva; Lakhdar Saïs; Yakoub Salhi 出版日期：2014-01-01 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
无极微光
wangyumumu
秋风
林狗
OK
老胡
嘻嘻哈哈
DW
极限001
AireenBeryl531
学霸业
谢雷XIELei
aaaa
Xixi
潇洒的惋清
平常迎天
核桃
xing_xing
aajhajkahna
GingerF
皖公网安备34019202002308
