哈桑·阿姆贾德 浅显的懒惰证明。 （英语） Zbl 1152.68515号 Hurd，Joe（编辑）等人，《高阶逻辑中的定理证明》。2005年8月22日至25日，第18届国际会议，TPHOLs 2005，英国牛津。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28372-2/pbk）。计算机科学课堂讲稿3603，35-49（2005）。 摘要：我们表明，延迟非交互式决策过程的完全扩展证明重建可以产生更高效的工作流。与早期的工作相比，我们的延迟证明方法不需要对定理证明器进行深入的更改。关于整个系列，请参见[Zbl 1087.68005号]. 引用于1文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 软件：萨帕托;HOL公司;HOL灯;毫升 PDF格式BibTeX公司 XML格式引用 \文本｛H.Amjad｝，Lect。注释计算。科学。3603、35-49（2005年；Zbl 1152.68515） 全文： 内政部