English 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：

"广义固体模型" English translation, "广义管理程序调用" English translation, "广义管理信息系统" English translation, "广义光瞳函数" English translation, "广义规则" English translation, "广义归纳法" English translation, "广义哈密顿原理" English translation, "广义函数" English translation, "广义函数的卷积" English translation, "广义函数的支集" English translation