theorem-proving system

[theorem-proving system]
[theorem-proving system]

中文释义

[计] 定理证明系统

单词分析

单词结构:

theorem-proving system

字母数:22

记忆提示

🎯 重点记忆:

  • 单词拼写:theorem-proving system
  • 核心含义:[计] 定理证明系统