约格·西克曼(编辑);格雷厄姆·怀特森(编辑) [沃斯,L。;亨森,L。;R.W.宾克利。;克拉克·R·L·。;S.Yu,马斯洛夫。;斯莱格尔,J.R。;罗宾逊,G.A。;D.F.卡森。;沙拉,L。;安德鲁斯,P.B。;D.W.洛夫兰。;罗宾逊,J.A。;德布鲁因,N.G。;J.R.卫德。;F.C.奥格尔斯比。;J.H.贝内特。;定居,L.G。;科瓦尔斯基,R。;海斯,P.J。;莫里斯,J.B。;Prawitz博士。;R.安德森。;布莱索,W.W。;Chang,C.L。;科努特,D.E。;本迪克斯,P.B。;J.艾伦。;Luckham博士。;谢金,G.S。;达维多夫,G.V。;薄荷,G.E。;奥列夫科夫(V.P.Orevkov)。;A.O.斯利森科。;D.奎纳。] 推理自动化。2:1967年至1970年关于计算逻辑的经典论文。 (英语) Zbl 0567.03002号 符号计算。人工智能。柏林等:斯普林格-弗拉格。十二、 第637页,108.00德国马克(1983年)。 审核人:N.Curteanu公司 MSC公司:03-06 68-06 03B35型 68吨15 01A75号 PDF格式BibTeX公司 XML格式
邦妮·林恩·韦伯(编辑);尼尔斯·尼尔森。(编辑) [阿马雷尔,S。;J.Gaschnig。;伍兹,W。;A.麦克沃思。;H·柏林。;布莱索,W.W。;Chang,C.L。;斯莱格尔,J。;R·赖特。;Z.曼纳。;瓦尔丁格,R。;R·威哈奇。;理查德·杜达。;P.哈特。;尼尔森,N。;L.C.格林。;海耶斯,P。;R·菲克斯。;斯特菲克,M。;D.巴斯托。;B.布坎南。;费根鲍姆,E。;肖利夫,E。;埃尔曼,L。;海耶斯·罗特,F。;Lesser,V。;D.R.雷迪。;D.威尔金斯。;R·戴维斯。;J.麦卡锡。;R·摩尔。;科恩,P。;C.R.佩罗。;J.多伊尔。;T·米切尔。] 人工智能阅读。 (英语) Zbl 0498.68054号 加利福尼亚州帕洛阿尔托:蒂奥加出版公司。十、 第547页(1981年)。MSC公司:68泰克 68吨15 68T20型 68-02 68-06 68T05年 68吨10 PDF格式BibTeX公司 XML格式