Theoremproving machine

[计] 定理证明机

🧩 词语组成解析

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

🗣️ 情景例句

Her efforts were rewarded by good results.
她的努力获得了良好的结果。
The greatest obstacle to progress is prejudice.
进步的最大障碍是偏见。
What are you doing, Carol?
卡罗尔，你在干什么？
更多情景英语 ›

🔤 更多 T 开头的单词

talent-spotter
targe
text segment
thiamine phosphoric acid ester chloride
thrombocytopenia
tjujamuite
trailing four o'clock
trichloroacetanilide
全部 T 开头单词 ›