mechanical theorem proving

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

中文释义

[计] 机器证明

单词分析

单词结构：

mechanical theorem proving

字母数：26

记忆提示

🎯 重点记忆：

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

最近查询：

bluecaps calcium fluoride type ceramics colocentesis deplanted income from work integrating chamber Lndwig's ganglion mediastinum testis multidisability neurodermatosis perihelion distance physiological aberration rnaases slab plastering supersaur susahs thalassiothrixes the role of vegetable in the tropics treatment works turret traversing lock

更新时间：2025-12-08 20:11:25