theorem proving

英 [theorem proving]
美 [theorem proving]

中文释义

[计] 定理证明

单词分析

单词结构：

theorem proving

字母数：15

记忆提示

🎯 重点记忆：

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

最近查询：

1-methyl-2-m-tolyl-hydrazine antependia axial quantum number charity box gas turbine electric propulsion plant geocentricity group behavior IBTCs itune jacketed autoclave Lipmann marital statuses orientable microbundle plactridium private trust proofreader Saint Benedict sphenoclase throw one's hat in the air unsupportableness

更新时间：2025-12-09 02:07:41