resolution proof tree 分解证明树
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
In this paper a novel radix encoding scheme based on dynamic binary-tree is presented, and the constants existed in the watermark is encoded to tamper-proof the watermark itself.
本文提出了一种基于动态二叉树的水印基数编码方案，并对水印中的常量进行编码以达到水印防篡改的目的。
In old days, a lot of families have their own family tree as a proof of proliferation and lineage.
过去很多家族会有自己的家谱，作为繁衍生息，香火为继的证明。
应用推荐