theorem machine prove

　
英 美
  • 定理機器證明

theorem machine prove的用法和樣例：

例句

  1. The research in mechanical theorem proving has great significance in the theory and the practice.
    定理機器證明的研究，在理論和實(shí)踐上都具有重要的意義。

theorem machine prove的相關(guān)資料：

臨近單詞

今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan