>

mechanical theorem proving

📖 中文释义

  1. [计] 机器证明
M 字母词表