马丁·戴维斯 自动扣除的早期历史。 (英语) Zbl 1011.68511号 Alan Robinson(编辑)等人,《自动推理手册》。2卷。阿姆斯特丹:北荷兰/爱思唯尔;0-444-50812-0(第二卷);0-444-50813-9(套))。4-15 (2001). 有关整个系列,请参见[Zbl 0964.00020号]. 引用于6文件 MSC公司: 第68页第15页 定理证明(演绎、解析等)(MSC2010) 68-03 计算机科学史 PDF格式BibTeX公司 XML格式引用 \textit{M.Davis},in:自动推理手册。2卷。阿姆斯特丹:北荷兰/爱思唯尔;马萨诸塞州剑桥:麻省理工学院出版社。4-15(2001年;Zbl 1011.68511)