Theoremproving system

[计] 定理证明系统

🧩 词语组成解析

theoremproving

[计] 定理证明

system ['sɪstəm]

n. 体系，系统;制度;身体;方法;

sy(syn-=together)+ste(to stand)→系统；体系；秩序；制度；方法

🗣️ 情景例句

Sure. Oh, sorry, Mary, I'd better go now.

可以。哦，抱歉，Mary，我要挂电话了。

I will be hospitalied in January.

我将在一月份住院。

I must hurry. I want to get home in time to see the football match on television.

我得赶快，我想按时回家，去看球赛。

更多情景英语 ›

🔤 更多 T 开头的单词

take the wheel

tarantulite

terra incognita

thigmotropism

Thome

tolu balsam tree

tradition longa manu

tridecenoic acid

全部 T 开头单词 ›