Theoremproving machine
[计] 定理证明机
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
May I speak to the head of the household?
我可以请户主听电话吗？
He is distinguished as an economist.
他是一名著名的经济学家。
At the international level, sport is frankly mimic warfare.
在国际比赛中，体育简直是一场模拟战争。