automatic theorem proving

英 [automatic theorem proving]
美 [automatic theorem proving]

中文释义

[计] 自动定理证明

单词分析

单词结构：

automatic theorem proving

字母数：25

记忆提示

🎯 重点记忆：

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

最近查询：

acetylindoxyl Aspergillus awamori brake load calcimorphic soil closed air circuit water cooled type crossholdings essentialia negotii evaluative feature gemellus muscle hardwon melon seed Mendenhall Cape minihistory pinch current realistic display relative centre-point/center-point curve smirker snore like a grampus verfication of outstandings by correspondence width over sides of car body

更新时间：2026-01-24 02:30:38