×

自动定理证明 meaning in Chinese

automated theorem proving
automatic theorem proving

Examples

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

Related Words

  1. 中点定理
  2. 畸变定理
  3. 密度定理
  4. 卸载定理
  5. 等价定理
  6. 表象定理
  7. 惯性定理
  8. 多方定理
  9. 凸定理
  10. 正确性定理
  11. 自动定进控制
  12. 自动定距钻孔台
  13. 自动定量切片机
  14. 自动定量视野计
PC Version

Copyright © 2018 WordTech Co.