苏尼尔·瓦德拉 壁画中的类比证明。 （英语） 兹比尔083568106 正式Asp。计算。 7，第2期，183-206（1995）. 引用于2文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：启发式;类比;定理的自动证明 软件：壁画 PDF格式BibTeX公司 XML格式引用 \textit{S.Vadera}，正式Asp。计算。7，第2号，183--206（1995；Zbl 0835.68106） 全文： DOI程序 参考文献： [1] Buchanan B.G.等人。构建专家系统。F.Hayes-Roth、D.A.Waterman和D.B.Lenat，建筑专家系统编辑，第127-167页。艾迪森·卫斯理，1983年。 [2] 邦迪。数学推理的计算机建模。学术出版社，1979年·Zbl 0541.68067号 [3] 邦迪。A.使用明确的计划来指导归纳证明。编辑R.Lusk和R.Overbeek，第九届自动扣除会议，第111-120页。Springer-Verlag，1988年·Zbl 0656.68106号 [4] Gick M.和Holyoak K.J.类比问题解决。认知心理学，121980年。 [5] Hall R.P.类比推理的计算方法：比较分析。《人工智能》，1989年，第39:39-120页·Zbl 0668.68097号 ·doi:10.1016/0004-3702（89）90003-9 [6] Jones C.B.、Jones K.D.、Lindsay P.A.和Moore R.编辑，壁画；正式开发支持系统。施普林格出版社，伦敦，1991年·Zbl 0758.68046号 [7] Jones C.B.使用VDM进行系统软件开发。普伦蒂斯·霍尔国际出版社，第二版，1990年·兹比尔074368048 [8] Kling R.E.通过类比进行推理的范例。人工智能，2:147-1781971·Zbl 0227.68041号 ·doi:10.1016/0004-3702（71）90008-7 [9] 麦克德莫特J.学习使用类比。《国际人工智能联合会议论文集》，第568-576页，东京，1979年。 [10] Munyer J.C.类比作为解决问题和学习中的一种发现手段。加州大学圣克鲁斯分校博士论文，1981年。 [11] Manna Z.和Waldinger R.《计算机编程的逻辑基础》I.Addison-Wesley，Reading，马萨诸塞州，1985年·Zbl 0572.68008号 [12] 欧文S.自动推理类比。学术出版社，1990年·Zbl 0823.68097号 [13] Vadera S.证据启发式。曼彻斯特大学博士论文，曼彻斯特M13 9PL，英国，1992年。 [14] 瓦德拉·S·通过壁画中的类比证明？更详细的叙述。计算的形式方面，7（E）：1-291995·Zbl 0835.68106号 ·doi:10.1007/BF01211605 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。