first-order theorem prover 中文意思是什麼

first-order theorem prover 解釋
一階定理證明器
  • first : adj 1 最初的，最早的。2 最上等的，第一流的。3 基本的，概要的。4 高音（調）的。n 1 最初，第一；第...
  • order : n 1 次序，順序；整齊；（社會）秩序，治安；狀況，常態；健康狀態；條理；會場秩序；議事程序，日程；...
  • theorem : n. 1. （能證明的）一般原理，公理，定律，法則。2. 【數學】定理。
  • prover : n. 1. 試驗裝置。2. 【印刷】打校樣的工人。3. 〈古語〉證明者。
  1. 目前還沒有first-order theorem prover例句。
分享友人
分享到 Line

分享到臉書