English translation for "证明树"

proof tree

Related Translations:

程序证明:  program proofprogram proving

出口证明:  export certificateexport certificationproof of export

委任证明:  certification of authorization

修订证明:  revised certificates

实践证明:  it has been found thatpractice confirmspractice proves

结清证明:  discharge

健康证明:  bill of healthcertificate of healthemdical certificatehealth certificatehealth certififcatesmedical certificate

演绎证明:  deductive proof

付款证明:  payment certificate

正确性证明:  correctne proofcorrectness proofjustificationproof of correctness

Example Sentences:

	1.	Many people research how to find value of y from resolution proof trees 有许多人研究从归结证明树确定y的值的方法。
	2.	The successful application of higher order connectedness on tree decomposition leads us to seek further implementation of higher order connectedness to other branches of graph theory 而成功地应用高阶边连通性证明树分解中的问题，使我们进一步寻找高阶连通性在其它图论问题中的应用。
	3.	In this paper , we do two things . first , for theorem proving problem such like ( vx ) ( 3y ) p ( x , y ) , we present a method for extracting procedure from the proofs generated by the resolution principle ) y ) p ( x ， y )的定理证明问题，本文从分析归结证明树中的每个节点入手，提取归结证明的过程信息，生成一个程序。

Similar Words：

"证明书，证件" English translation, "证明书，证明" English translation, "证明书，证明单" English translation, "证明书，执照" English translation, "证明书执照证书" English translation, "证明思路" English translation, "证明损害的证据" English translation, "证明所有权" English translation, "证明所有素数的倒数之和发散" English translation, "证明同一" English translation