English translation for "定理证明程序"

theorem prover

Related Translations:

中点定理:  mid-point theorem

畸变定理:  distortion theorem

密度定理:  density theorem

卸载定理:  offloading theorem

等价定理:  equivalence theorem

表象定理:  representation theorem

惯性定理:  inertial theorem

多方定理:  polytrijpic law

凸定理:  convexity theorem

正确性定理:  correctness theorem

Similar Words：

"定理的" English translation, "定理机器证明" English translation, "定理验证" English translation, "定理证明" English translation, "定理证明表示" English translation, "定理证明机" English translation, "定理证明技术" English translation, "定理证明用逆向产生式系统" English translation, "定礼" English translation, "定利" English translation