薄荷，G。;E.图古。 程序结构综合的合理性。 （英语） Zbl 0514.68019号 科学。计算。程序。 2, 215-240 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3个 +4 +5 显示扫描页面 引用于1审查引用于10文件 理学硕士： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：自动程序合成;PRIZ编程系统;完整性;直觉命题公式;推理规则;程序综合中定理的自动证明 软件：自动化 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints}和\textit{E.Tyugu}，科学。计算。程序。2215--240（1982；Zbl 0514.68019） 全文： 内政部