>

automatic theorem proving

📖 中文释义

  1. [计] 自动定理证明
A 字母词表