Chinese translation for "定理证明机"

theorem proving machine

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：

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