Automated theorem proving的解释和发音「欧路词典」英汉-汉英词典为您提供权威的英语单词解释_真人发音_用法

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

3G, 401(K), a,