Theoremproving machine
[计] 定理证明机
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
Yes. It's the anniversary of one of our important revolutionary movements.
是的。它是中国一个重大革命运动的纪念日。
Went on to get his master's degree from harvard.
然后在哈佛大学取得了学士学位。
I'll keep the things on this shelf for you, said the shopkeeper.
“我先把你的东西放在这个货架上，”售货员说。