automatic theorem proving

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

中文释义

[计] 自动定理证明

单词分析

单词结构：

automatic theorem proving

字母数：25

记忆提示

🎯 重点记忆：

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

最近查询：

emergency government frame type free source herkogamous hindmore larasa mofoxime molecular taxonomy nonbisexuals press zone rerattle retrograde solubility sakulin scram accumulator n2 cylinder slotted girder snap clasp SPOF stoke-hole Swiss Watch Chamber of Commerce tyrocidins

更新时间：2025-12-08 20:29:33