Theory machine proving
英
美
定理机器证明
Theory machine proving的用法和样例:
例句
The research in mechanical theorem proving has great significance in the theory and the practice.
定理机器证明的研究,在理论和实践上都具有重要的意义。
Theory machine proving的相关资料:
临近单词
theory
theory of self
目录
查词历史
英 汉