• 证明树 - 引用次数：3

  y)p(x, y), we present a method of extracting program from the proof generated by thegeneral resolution principle. It collects process information from the general resolution proof tree by analyzing every node of general resolution proof tree to extract program.

  的定理证明问题,本文从分析广义归结证明树的每个结点入手,提取广义归结证明的过程信息,生成问题求解程序。

  参考来源 - 基于广义归结的程序综合
• 证明树

·2,447,543篇论文数据，部分数据来源于NoteExpress