Theoremproving machine

[计] 定理证明机

🧩 词语组成解析

theoremproving
[计] 定理证明
machine [mə'ʃin]
n. 机器,机械;机械般的人;核心; vt. 用机器制造,用机器加工; vi. 被机器切削;
mach机器+ine表名词 → 机器

🗣️ 情景例句

Yup.
是的。
Nothing is impossible to a willing heart.
心之所愿,无事不成。
and near its lower reaches there is a long tailing-off which is almost certainly the result of material transported out to deep water after being eroded from the continental masses.
在这个地带的低处是很长的一段尾沙地段,基本上可以断定这个地段是大陆块体上侵蚀下来的物质被水冲到深水处形成的。
更多情景英语 ›

🔤 更多 T 开头的单词

transportation ,trænspɔr'teʃən
全部 T 开头单词 ›