×

定理证明用逆向产生式系统 meaning in Chinese

backward production system for theorem proving

Related Words

  1. 逆向拆除分析
  2. 分解定理
  3. 切除定理
  4. 中点定理
  5. 畸变定理
  6. 欧姆定理
  7. 代换定理
  8. 定理验证
  9. 正交定理
  10. 连续性定理
  11. 定理证明机
  12. 定理证明技术
  13. 定礼
  14. 定利
PC Version

Copyright © 2018 WordTech Co.