theorem proving system

英 [theorem proving system]
美 [theorem proving system]

中文释义

定理証明系统

单词分析

单词结构：

theorem proving system

字母数：22

记忆提示

🎯 重点记忆：

  • 单词拼写：theorem proving system
  • 核心含义：定理証明系统

最近查询：

accusatio apex of lung character maps CLAVAGILLOIDEA clinker tile cohesional entanglement convergence map dys-synchrony elbow jam unt high melting point alloy homeporting middlebrows minibreaks outasked packing nut petromus typicus plectrophenaxes superisocon swinging strength Zik'wala Terara

更新时间：2025-12-08 07:16:08