×

找到3个文档(结果1-3)

概率逻辑程序设计中推理的压缩布尔公式。 (英语) Zbl 1467.68026号

Calimeri,Francesco(编辑)等人,《逻辑编程和非单调推理》。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。9345, 425-438 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

出版年份

主字段