×

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

描述和解释逻辑程序中的不一致性。 (英语) Zbl 1467.68029号

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

筛选结果依据…

文档类型

出版年份

主字段