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

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