Chinese translation for "一阶定理证明器"

first-order 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：

"一阶的" Chinese translation, "一阶等级证书" Chinese translation, "一阶递归程序" Chinese translation, "一阶递归离散时间滤波器" Chinese translation, "一阶电路" Chinese translation, "一阶动力特性" Chinese translation, "一阶动力特性(曲线)" Chinese translation, "一阶动态逻辑" Chinese translation, "一阶动态特性" Chinese translation, "一阶段抽样" Chinese translation