布莱索,W.W。;Kunen,K。;肖斯塔克,R。 不等式证明器的完整性结果。 (英语) 兹比尔0598.68059 工件。智力。 27, 255-288 (1985). 审核人:萨伊达 MSC公司:68吨15 06-04 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{W.W.Bledsoe}等人,Artif。智力。27255-288(1985年;Zbl 0598.68059) 全文: DOI程序
弗拉基米尔·利夫希茨 封闭世界数据库和界限。 (英语) Zbl 0596.68062号 工件。智力。 27, 229-235 (1985). 审核人:E.克努思 MSC公司:68T99型 68第20页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz},阿蒂夫。智力。27229--235(1985;Zbl 0596.68062) 全文: DOI程序
阿兰·邦迪;西尔弗,伯纳德;戴夫·普卢默 一些规则学习程序的分析比较。 (英语) Zbl 0583.68043号 工件。智力。 27, 137-181 (1985).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bundy}等人,Artif。智力。27137--181(1985年;Zbl 0583.68043) 全文: DOI程序 链接
道格拉斯·史密斯。 分治算法的自顶向下综合。 (英语) Zbl 0573.68053号 工件。智力。 27, 43-96 (1985).MSC公司:68T20型 68N99型 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Smith},阿蒂夫。智力。27、43——96(1985年;Zbl 0573.68053) 全文: DOI程序
理查德·科尔夫(Richard E.Korf)。 深度优先迭代深化:最佳容许树搜索。 (英语) Zbl 0573.68030号 工件。智力。 27, 97-109 (1985).MSC公司:68页第10页 68T99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Korf},阿蒂夫。智力。27、97——109(1985年;Zbl 0573.68030) 全文: DOI程序