English translation for "定理证明用逆向产生式系统"

backward production system for theorem proving

Related Translations:

逆向拆除分析:  retrogressive analysis for bridge erection

分解定理:  decomposition theoremresolution theorem

切除定理:  excision theorem

中点定理:  mid-point theorem

畸变定理:  distortion theorem

欧姆定理:  ohm’s law

代换定理:  substitution theorem

定理验证:  theorem proving

正交定理:  orthogonality theorem

连续性定理:  continuity theorem

Similar Words：

"定理证明" English translation, "定理证明表示" English translation, "定理证明程序" English translation, "定理证明机" English translation, "定理证明技术" English translation, "定礼" English translation, "定利" English translation, "定例" English translation, "定例局" English translation, "定立" English translation