摘要
预览
工具书类
[邦迪 等 90]A.Bundy、F.van Harmelen、C.Horn和A.Smaill。 牡蛎-蛤蜊系统。 编辑M.E.Stickel， 第十届自动扣除国际会议 ，第647-648页。 Springer-Verlag，1990年。 人工智能第449号课堂讲稿。 爱丁堡DAI研究论文507。 [治安官 等 86]R.L.Constable、S.F.Allen、H.M.Bromley、， 等.用Nuprl证明开发系统实现数学 普伦蒂斯·霍尔，1986年。 [戈登 等 79]M.J.Gordon、A.J.Milner和C.P.Wadsworth。 爱丁堡LCF——一种机械化的计算逻辑 ，第78卷，共页 计算机科学课堂讲稿 Springer Verlag出版社，1979年。 [哈珀 等 87]R.Harper、F.Honsell和G.Plotkin。 定义逻辑的框架。 在 程序。 第二届计算机科学逻辑研讨会 , 1987. G.Huet和G.D.Plotkin。 逻辑框架 CUP，1991年。 I.克莱恩。 逻辑程序综合的证明规划 爱丁堡大学人工智能系未发表博士论文，1994年。 1994年2月提交。 根据Martin-Löf。 建构数学和计算机编程。 在 第六届国际逻辑、方法论和科学哲学大会 ，第153-175页，汉诺威，1979年8月。 荷兰北部出版，阿姆斯特丹。 1982 L.Paulson（保尔森）。 通用定理证明器的基础。 自动推理杂志 , 5:363–397, 1989. B.L.理查兹。 软体动物用户指南1.1。 DAI技术论文23，爱丁堡大学，1993年9月。 G.A.威金斯。 防螺开发系统中逻辑程序的合成和转换。 编辑K.R.Apt， JICSLP-92会议记录 ，第351-368页。 M.I.T.出版社，马萨诸塞州剑桥，1992年。
作者信息
作者和附属机构
编辑器信息
权利和权限
版权信息
关于本论文
引用本文
下载引文
内政部 : https://doi.org/10.1007/3-540-58156-1_69 出版 : 发布者名称 : 施普林格、柏林、海德堡 打印ISBN : 978-3-540-58156-7 在线ISBN : 978-3-540-48467-7 电子书包 : 斯普林格图书档案馆