雷切尔·本·埃利亚胡·佐哈里;塔尔·格林斯彭;埃琳娜·丘尔金;埃胡德·古德斯 单调定性逻辑程序:计算和应用。 (英语) Zbl 1338.68044号 AI通讯。 27,第3期,213-228(2014).MSC公司:68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Ben-Eliyahu-Zohary}等人,AI Commun。27,第3号,213--228(2014;Zbl 1338.68044) 全文: 内政部
陈·阿文;雷切尔·本·埃利亚胡·佐哈里 计算所有(X)最小模型的上限。 (英语) Zbl 1129.68083号 AI通讯。 20,第2号,87-92(2007).MSC公司:68T27型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{C.Avin}和\textit{R.Ben-Eliyahu-Zohary},AI Commun。20,第2号,87--92(2007;Zbl 1129.68083)