>

theoremproving machine

📖 中文释义

  1. [计] 定理证明机
T 字母词表