theorem proving

英 [theorem proving]
美 [theorem proving]

中文释义

[计] 定理证明

单词分析

单词结构：

theorem proving

字母数：15

记忆提示

🎯 重点记忆：

  • 单词拼写：theorem proving
  • 核心含义：[计] 定理证明

最近查询：

Camellia makuanica campanarian college introductory physical science data origination edelson exchangeable disk storage flare tube fitting frequency scan radar herd book jcpenney neinstein nonsteric pachycondyla chinensis pepsinogens per - capita income potentilla anserinas pouring water test psychodynamic dmt spanish needless specific heat of water

更新时间：2025-12-08 21:26:32