1) reasoning tree
证明树
1.
This algorithm adopts a backward method,gradually decomposes one proposition into one or two propositions,and constructs a reasoning tree,which is effective in proving the theorems of system R.
该算法采用后向推理法,依据推理规则将待证命题逐步分解成子命题并构造一棵证明树,对系统R中的定理证明取得了较好的效果。
2) resolution proof tree
归结证明树
1.
Many people research how to find value of y from resolution proof trees.
有许多人研究从归结证明树确定y的值的方法。
3) General Resolution Principle Tree
广义归结证明树
4) proof
[英][pru:f] [美][pruf]
证明
1.
Another brief proof of the generalized Taylor s formula;
广义Taylor公式的又一简单证明方法
2.
The Proof of the Property of Indefinite Integral;
关于不定积分性质的证明
3.
Discovery and Proof of a Property of the Heap;
堆的一种性质的发现和证明
5) demonstration
[英][,demən'streɪʃn] [美]['dɛmən'streʃən]
证明
1.
The essay points out a demonstration method to the poly-rational fraction identical theorem.
本文对多元有理分式恒等定理,给出一种证明方法。
6) prove
[英][pru:v] [美][pruv]
证明
1.
Evidence and proves of medical litigation;
医疗机构应对医疗纠纷诉讼的证据与证明
2.
The Prove and Application of Theorem of Differential Mean Value;
微分学中值定理的证明及其应用
3.
The proved method of function of f(x) in the section I of non-consistence;
函数f(x)在区间Ⅰ非一致连续的一种证明方法
补充资料：海南龙血树（小花龙血树）
百合科Liliaceae
乔木状，高3-4m。叶聚生于茎和枝顶，几呈套叠状，长约70cm，抱茎，无柄。圆锥花序长约30cm，花序轴无毛或近无毛。分布于海南西南部，生于背风区的干燥砂土上。越南、柬埔寨也有分布。国家三级保护濒危种。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条