Mobile
Log In Sign Up
Home > english-chinese > "广义归结" in Chinese

Chinese translation for "广义归结"

generalized resolution

Related Translations:
凡人归结:  clayton emery netheril mortal consequences
广义加速度:  generalized acceleration
广义阶乘:  generalized factorial
广义理想:  extended ideal
广义的:  generalizedliberalwide-sense
广义积分:  improper integral
广义物体:  generalized body
广义节点:  supernode
广义理论:  generalized theory
广义传递函数:  generalized transfer functiongeneralizedtransferfunction
Example Sentences:
1.Together we prove that generalized paramodulation is generalized complete when used with generalized resolution for e - unsatisfied clause set
接着给出广义调解的有效性证明,然后证明广义调解和广义归结的联合使用对e -恒假的子句集是广义完备的。
Similar Words:
"广义固体模型" Chinese translation, "广义管理程序调用" Chinese translation, "广义管理信息系统" Chinese translation, "广义光瞳函数" Chinese translation, "广义规则" Chinese translation, "广义归纳法" Chinese translation, "广义哈密顿原理" Chinese translation, "广义函数" Chinese translation, "广义函数的卷积" Chinese translation, "广义函数的支集" Chinese translation