theorem prover 中文意思是什麼

theorem prover 解釋
定理證明程序
  • theorem : n. 1. （能證明的）一般原理，公理，定律，法則。2. 【數學】定理。
  • prover : n. 1. 試驗裝置。2. 【印刷】打校樣的工人。3. 〈古語〉證明者。
  1. 目前還沒有theorem prover例句。
分享友人
分享到 Line

分享到臉書