Interactive theorem proving
添加到生词本
- 拨号交互式联结bō hào jiāo hù shì lián jié
dial-in interactive connections
- 互动电视hù dòng diàn shì
ITV (interactive TV)
- 交互式天气浏览器jiāo hù shì tiān qì liú lǎn qì
interactive weather browser
- 交互式引导jiāo hù shì yǐn dǎo
interactive boot
- 查明chá míng
prove through investigation; find out; ascertain
- 得到证实dé dào zhèng shí
confirmed; proved
- 竟成谶语jìng chéng chèn yǔ
this proved to be an ill omen!
- 勘探kān tàn
exploration; prove up; prospect
- 论证lùn zhèng
demonstration; proof; expound and prove [verify]; argument; argumentation
- 试验场shì yàn chǎng
proving ground
- 探明tàn míng
prove up
- 验yàn
examine; check; test; prove effective; produce the expected result
- 验方yàn fāng
proved recipe
- 验证yàn zhèng
test and verify; checking; proving; confirmation; corroboration
- 证明zhèng míng
prove; testify; attest; certify; demonstrate
- 证明合适zhèng míng hé shì
prove out
- 证明是zhèng míng shì
prove; turn up
- 奏效zòu xiào
do execution; bear fruit; be successful; prove effective
- 最终失败zuì zhōng shī bài
prove an abortion
- 毕达哥拉斯定理bì dá gē lā sī dìng lǐ
pythagoras theorem
- 毕氏定理bì shì dìng lǐ
Pythagorean theorem
- 冲量定理chōng liàng dìng lǐ
theorem of impulse
- 定理dìng lǐ
theorem
- 二项式定理èr xiàng shì dìng lǐ
binomial theorem
- 法则fǎ zé
principle, theorem
用户正在搜索
fidley,
fido,
Fidonet,
fiducial,
fiduciary,
Fiduciary duty,
fiduciaryreserve,
fie,
Fiedler,
fiedlerite,
相似单词
3G,
401(K),
a,