| 单词 |
natural deduction theorem proving |
| 释义 |
natural deduction theorem proving
- 减除jiǎn chú
deduction
- 试验场shì yàn chǎng
proving ground
- 亥姆霍兹定理hài mǔ huò zī dìng lǐ
helmholtz theorem
- 扣除项目kòu chú xiàng mù
deduction; deduction items
- 证明合适zhèng míng hé shì
prove out
- 证明是zhèng míng shì
prove; turn up
- 毕氏定理bì shì dìng lǐ
Pythagorean theorem
- 费马定理fèi mǎ dìng lǐ
fermat theorem
- 瑞利定理ruì lì dìng lǐ
Rayleigh theorem
- 二项式定理èr xiàng shì dìng lǐ
binomial theorem
- 介值定理jiè zhí dìng lǐ
intermediate value theorem
- 刘维定理liú wéi dìng lǐ
Liouville's theorem
- 验证yàn zhèng
test and verify; checking; proving; confirmation; corroboration
- 毕达哥拉斯定理bì dá gē lā sī dìng lǐ
pythagoras theorem
- 平均值定理píng jun1 zhí dìng lǐ
theorem of the mean
- 自然界的zì rán jiè de
natural
- 自然数的zì rán shù de
natural
- 减除额jiǎn chú é
deduction
- 扣减kòu jiǎn
deduction; abatement
- 定理dìng lǐ
theorem
- 费马最后定理fèi mǎ zuì hòu dìng lǐ
Fermat's last theorem
- 禀性bǐng xìng
natural disposition; natural instincts
- 雍容yōng róng
natural, graceful and poised
- 探明tàn míng
prove up
- 验方yàn fāng
proved recipe
|
| 随便看 |
- deficiency agreement的意思
- deficiency and excess的意思
- deficiency anemia的意思
- Deficiency,Antithrombin 3的意思
- Deficiency,Antithrombin III的意思
- deficiency appropriation的意思
- Deficiency,Argininosuccinic Acid Synthetase,Complete的意思
- Deficiency,Argininosuccinic Acid Synthetase,Partial的意思
- Deficiency,Ascorbic Acid的意思
- deficiency bill的意思
- deficiency bills的意思
- Deficiency,Biotinidase的意思
- Deficiency,Brancher的意思
- Deficiency,Choline的意思
- deficiency chromosome的意思
- deficiency clause的意思
- Deficiency,Combined Carboxylase的意思
- deficiency complicated with excess的意思
- deficiency curve的意思
- Deficiency,Cytochrome c Oxidase的意思
- Deficiency,Cytochrome Oxidase的意思
- Deficiency,Debrancher的意思
- deficiency diarrhea的意思
- deficiency disease的意思
- Deficiency Disease,4 Hydroxyphenol Pyruvic Acid Oxidase的意思
|