×

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

在带有注释析取的逻辑程序上进行推理的制表和答案包容。 (英语) 兹比尔1237.68049

Hermenegildo,Manuel(编辑)等人,第26届逻辑编程国际会议(ICLP 2010)的技术交流,2010年7月16日至19日,英国苏格兰爱丁堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-17-0)。LIPIcs–莱布尼茨国际信息学会议录7,162-171,仅电子版(2010年)。
MSC公司:68N17号 03B48 68层37
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

出版年份

主字段