佐哈尔·曼纳;理查德·沃尔丁格 程序综合的演绎方法。 (英语) Zbl 0468.68009号 ACM事务处理。程序。语言系统。 2, 90-121 (1980). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于48文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 68吨15 定理证明(演绎、解析等)(MSC2010) 68问题65 抽象数据类型;代数规范 关键词:数学归纳法;程序转换;分辨率;定理证明 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},ACM Trans。程序。语言系统。2、90-121(1980年;Zbl 0468.68009) 全文: 内政部