Jean-Louis拉塞兹（编辑）;戈登·普洛金（编辑） 计算逻辑。纪念艾伦·罗宾逊的论文。 （英语） Zbl 0793.0302号 马萨诸塞州剑桥：麻省理工学院出版社。viii，第727页（1991年）。 [本卷中的文章不会单独编入索引。]内容：拉里·沃斯,罗斯·奥弗贝克和尤因·卢斯克《假设，有时被低估的程序》（第3-40页）；汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）和约格·希克曼《Markgraf Karl反驳程序》（第41-112页）；梅尔文配件模态逻辑应该说得更多（第113-135页）；W.W.Bledsoe公司交互式演示（第136-165页）；莫里斯·布吕诺格《重新审视智能回溯》（第166-177页）；阿兰·邦迪《推理科学》（第178-198页）；胡德·沙皮罗《从事实归纳理论》（第199-254页）；Jean-Pierre Jouannaud女士和克洛德·基什内尔，在抽象代数中求解方程：基于规则的统一综述（第257-321页）；休伯特·科蒙《分裂：调查》（第322-359页）；迪帕克·卡普尔和张汉涛《完成过程的案例研究：证明环的可交换性问题》（第360-394页）；杰拉德·休特和珍妮·雅克·莱维，正交重写系统中的计算。一、 第二章（第395-414、415-443页）；巴黎C.Kanellakis,哈里·梅森和约翰·米切尔，统一和ML型重建（第444-478页）；米切尔·旺德和帕特里克·M·奥基夫《自动维度推断》（第479-483页）；基思·克拉克《逻辑编程方案及其实现》（第487-541页）；唐纳德·洛夫兰和大卫·W·里德《near-Horn Prolog汇编》（第542-564页）；P.A.加德纳和J.C.谢泼德森《逻辑程序的展开/折叠变换》（第565-583页）；安德烈亚·科拉迪尼和乌戈·蒙塔纳里《逻辑程序计算的代数表示》（第584-612页）；杰克·明克,阿尔科特·拉贾塞卡尔和豪尔赫·洛博选言逻辑程序理论（第613-639页）；杰弗里·诺顿和拉胡·拉马克里希南《逻辑程序的自下而上评估》（第640-700页）；E.W.埃尔科克《第一种逻辑编程语言：逻辑编程的必然性》（第701-721页）。 引用于2评论引用于80文件 MSC公司： 2006年3月 与数理逻辑和基础有关的会议记录、会议、收藏等 68-06 与计算机科学有关的会议记录、会议、收藏等 03B35型 证明和逻辑操作的机械化 03B40型 组合逻辑与lambda演算 第68页第17页 逻辑编程 68吨15 定理证明（演绎、解析等）（MSC2010） 00B30型 费斯特施里夫滕 关键词：计算逻辑;费斯特施里夫 传记参考： 艾伦·罗宾逊 PDF格式BibTeX公司 XML格式引用 \textit｛J.-L.LLassez｝（编辑）和\textit｛G.Plotkin｝（编辑），计算逻辑。纪念艾伦·罗宾逊的论文。马萨诸塞州剑桥：麻省理工学院出版社（1991；Zbl 0793.03002）