Chinese translation for "自动定理证明"

automated theorem proving
automatic theorem proving

Related Translations:

中点定理:  mid-point theorem

畸变定理:  distortion theorem

密度定理:  density theorem

卸载定理:  offloading theorem

等价定理:  equivalence theorem

表象定理:  representation theorem

惯性定理:  inertial theorem

多方定理:  polytrijpic law

凸定理:  convexity theorem

正确性定理:  correctness theorem

Example Sentences:

1.

A member of the herbrand base is called atom in automatic theorem proving 在自动定理证明中,海尔勃朗基的成员也称为原子。

Similar Words：

"自动定寸机" Chinese translation, "自动定点干扰机" Chinese translation, "自动定点停车" Chinese translation, "自动定进控制" Chinese translation, "自动定距钻孔台" Chinese translation, "自动定量切片机" Chinese translation, "自动定量视野计" Chinese translation, "自动定量视野检查" Chinese translation, "自动定量喂给机" Chinese translation, "自动定量喂棉机" Chinese translation