88单词
词典收录词

mechanical theorem proving

[计] 机器证明

发音使用有道词典音频接口；音频不可用时自动回退到浏览器语音。

mechanical theorem proving 的中文释义

  • [计] 机器证明

mechanical theorem proving 的英文释义

暂无英文释义。

mechanical theorem proving 的词形变化

暂无词形变化数据。

相关单词

mechanism mechanical mechanic mechanically mechanisation mechanistic mechanised mechanization mechanize mechanized mech mecha

最新更新单词

更新时间：2026-06-10 03:20:57

Keplerian keplinger kepner kepone Keppel keppen kepper keppler kept kept up