×

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

处理中不可满足性证明的语义。 (英语) 兹比尔1403.68244

Eiter,Thomas(编辑)等人,LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特:EasyChair。EPiC计算系列46,65-84(2017)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一阶逻辑中的阻塞子句。 (英语) Zbl 1403.68240号

Eiter,Thomas(编辑)等人,LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特:EasyChair。计算中的EPiC系列46,31-48(2017)。
MSC公司:68T20型 03B10号机组 68吨15
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段

全部的 前3名

软件