Mechanical theorem proving
[计] 机器证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
I've always wanted a springer spaniel.
我一直想要一只激飞狗。
Are you Bill Jones?
你是比尔、琼斯吗？
All those who have contributed towards the gift will sign their names in a large album which will be sent to the headmaster's home.
所有凑钱买此礼品的人都将自己的名字签在一本大签名簿上，签名簿将被送到校长的家里。