叶甫根尼·巴莱;迈克尔·盖尔芬德;张元林 P-log:精化和一个新的相干条件。 (英语) Zbl 1485.68247号 安。数学。Artif公司。智力。 86,编号1-3,149-192(2019).MSC公司:68立方英尺 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{E.Balai}等人,《数学年鉴》。Artif公司。因特尔。86,编号1--3,149-192(2019;Zbl 1485.68247) 全文: 内政部
佩德罗·卡巴拉尔;卡洛斯·佩雷斯;吉尔伯托·佩雷斯 平衡图。 (英语) Zbl 1471.03010号 安。数学。Artif公司。智力。 86,编号1-3,3-19(2019). 审核人:马里奥·阿尔维亚诺(伦德) MSC公司:03B20型 03B70号 68N17号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,Ann.Math。Artif公司。因特尔。86,编号1--3,3--19(2019;Zbl 1471.03010) 全文: 内政部 arXiv公司
王一松;你,嘉慧;林方珍;袁丽燕;张明义 具有可评估功能的重量约束程序。 (英语) Zbl 1230.68186号 安。数学。Artif公司。智力。 60,编号3-4,341-380(2010).MSC公司:68T20型 68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人,Ann.数学。Artif公司。因特尔。60,编号3-4341-380(2010年;兹bl 1230.68186) 全文: 内政部
特鲁什琴斯基,米洛斯奥;斯特凡·沃尔特兰 逻辑程序相对于支持模型的超等价性。 (英语) Zbl 1165.68349号 安。数学。Artif公司。智力。 53,编号1-4,331-365(2008).MSC公司:68N17号 68立方英尺 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Truszczyn ski}和\textit{S.Woltran},Ann.数学。Artif公司。因特尔。53,编号1--4,331--365(2008;Zbl 1165.68349) 全文: 内政部 链接
佩德罗·卡巴拉尔;谢尔盖·奥丁佐夫;大卫·皮尔斯;阿古斯丁,巴尔韦德 部分平衡逻辑。 (英语) Zbl 1125.68113号 安。数学。Artif公司。智力。 50,编号3-4,305-331(2007).MSC公司:68T27型 03B60号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《数学年鉴》。Artif公司。因特尔。50,编号3--4,305-331(2007;Zbl 1125.68113) 全文: 内政部
大卫·皮尔斯 均衡逻辑。 (英语) Zbl 1117.03039号 安。数学。Artif公司。智力。 47,第1-2、3-41号(2006). 审核人:奈尔·扎莫夫(喀山) MSC公司:03B70号 03B55号 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Pearce},Ann。数学。Artif公司。因特尔。47,编号1--2,3--41(2006;Zbl 1117.03039) 全文: 内政部