>

resolution theorem proving

📖 中文释义

  1. [计] 归结定理证明
R 字母词表