马克·德纳克;莫里斯·布吕诺格;维克托·马雷克 重温逻辑编程:作为归纳定义的逻辑程序。 (英语) Zbl 1365.68148号 ACM事务处理。计算。日志。 2,第4期,623-654(2001).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Denecker}等人,《美国医学杂志》。计算。日志。2,第4号,623--654(2001;Zbl 1365.68148) 全文: 内政部
马雷克·塞尔戈特 规范位置的计算理论。 (英语) Zbl 1365.03020号 ACM事务处理。计算。日志。 2,第4期,581-622(2001).MSC公司:03B45 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sergot},ACM翻译。计算。日志。2,第4号,581--622(2001;Zbl 1365.03020) 全文: 内政部
路易吉亚·卡卢奇·埃利罗(Luigia Carlucci Aiello);法比奥·马萨奇 在逻辑编程中验证安全协议。 (英语) Zbl 1365.68386号 ACM事务处理。计算。日志。 2,第4期,542-580(2001).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Carlucci Aiello}和\textit{F.Massacci},ACM Trans。计算。日志。2,第4号,542--580(2001;Zbl 1365.68386) 全文: 内政部
弗拉基米尔·利夫希茨;大卫·皮尔斯;阿古斯汀·瓦尔弗德 强等效逻辑程序。 (英语) Zbl 1365.68149号 ACM事务处理。计算。日志。 2,第4期,526-541(2001).MSC公司:68N17号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz}等人,ACM Trans。计算。日志。2,第4号,526--541(2001;Zbl 1365.68149) 全文: 内政部
朱塞佩·德贾科莫;Hector J.列夫斯克。;塞巴斯蒂安·萨迪尼亚 谨慎理论的逐步执行。 (英语) Zbl 1365.68159号 ACM事务处理。计算。日志。 2,第4期,495-525(2001).MSC公司:68N20型 68甲15 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,ACM翻译。计算。日志。2,第4号,495--525(2001;Zbl 1365.68159) 全文: 内政部
纳达·拉夫拉奇;Peter A.Flach。 归纳逻辑程序设计的扩展变换方法。 (英语) Zbl 1365.68374号 ACM事务处理。计算。日志。 2,第4期,458-494(2001).MSC公司:68T05型 68N17号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{N.Lavrač}和\textit{P.A.Flach},ACM Trans。计算。日志。2,第4号,458--494(2001;Zbl 1365.68374) 全文: 内政部
雷·赖特 基于知识的情境感知编程微积分。 (英语) Zbl 1365.68409号 ACM事务处理。计算。日志。 2,第4期,433-457(2001).MSC公司:68T27型 68甲15 68N20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Reiter},ACM事务。计算。日志。2,第4号,433--457(2001;Zbl 1365.68409) 全文: 内政部