mechanical theory proving 📖 中文释义 [计] 机器理论证明 ← mechanical theorem proving M 字母词表 mechanical thrombus →