mechanical theorem proving

英 [mechanical theorem proving]
美 [mechanical theorem proving]

中文释义

[计] 机器证明

单词分析

单词结构：

mechanical theorem proving

字母数：26

记忆提示

🎯 重点记忆：

  • 单词拼写：mechanical theorem proving
  • 核心含义：[计] 机器证明

最近查询：

administer justice allometry altocumulus floccus autocompleting blackguarded board measure foot (bmp) c-d-f central computer input/output coming half year declaration of forfeiture dicroton Fabens fracture of humerus Iymphomyxoma long-term money market modified control limits nasal bridge profile Phillipsastraea plain back velveteen You want to step outside?

更新时间：2026-03-11 00:48:29