Automated theorem proving
添加到生词本
- 纳斯达克nà sī dá kè
NASDAQ(National Association of Securities Deal Automated Quotations)
- 查明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
- 费马定理fèi mǎ dìng lǐ
fermat theorem
- 费马最后定理fèi mǎ zuì hòu dìng lǐ
Fermat's last theorem
- 弗洛凯定理fú luò kǎi dìng lǐ
Floquet theorem
用户正在搜索
hoevellite,
hof,
Hofei,
Hoffman,
Hofmann,
hofmannite,
Hofstadter,
Hofstede,
Hofuf,
hog,
相似单词
3G,
401(K),
a,