resolution theorem proving

[resolution theorem proving]
[resolution theorem proving]

中文释义

[计] 归结定理证明

单词分析

单词结构:

resolution theorem proving

字母数:26

记忆提示

🎯 重点记忆:

  • 单词拼写:resolution theorem proving
  • 核心含义:[计] 归结定理证明