theorem proving machine

英 [theorem proving machine]
美 [theorem proving machine]

中文释义

定理证明机

单词分析

单词结构：

theorem proving machine

字母数：23

记忆提示

🎯 重点记忆：

  • 单词拼写：theorem proving machine
  • 核心含义：定理证明机

最近查询：

anholt (anholt i.) Borchen butterfly peas Dörenhagen forlong lindalfa Lindernia pusilla make capital out of metal-nitride-oxide semiconductor Nomuka Grp. pentaerythrite rib hole school support Sedum rosei Simmozheim steep access track rheostat trihydroxy monobasic acid Villa Americana Your Holiness

更新时间：2025-04-22 06:22:03