Mechanical theorem proving
[计] 机器证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
If you don't go to college, you'll never get a good job.
你要是不上大学，就永远找不到好工作。
A new bicycle is out of the question - we can't afford it.
买新自行车的事谈不上 —— 我们买不起。
These days we use a thermos , said Li Lei.
“如今用的是热水瓶了，”李磊说。