theorem-proving machine

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

中文释义

[计] 定理证明机

单词分析

单词结构：

theorem-proving machine

字母数：23

记忆提示

🎯 重点记忆：

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

最近查询：

be in want of Betula leutea bill on presentation bowr Colydiidae Cwmaman ferret about glucineogenesis grimme hepaticas insurance in force Interest Bearing large spinning disk distributor Madridistas mallowworts Parodyne readable microprogram Trinidado ungrasping yangtse

更新时间：2026-01-26 05:06:22