theorem proving machine 中文意思是什麼

theorem proving machine 解釋
定理證明機
  • theorem : n. 1. (能證明的)一般原理,公理,定律,法則。2. 【數學】定理。
  • proving : 檢驗的
  • machine : n 1 機(器),機械;機關,機構。2 印刷機器;縫紉機;打字機;汽車;自行車;三輪車;飛機;〈美俚〉...
  1. 目前還沒有theorem proving machine例句。
分享友人