| 释义 |
theorem proving by rule based system
- 按照规则地àn zhào guī zé dì
by rule
- 墨守成规地mò shǒu chéng guī dì
by rule
- 围魏救赵wéi wèi jiù zhào
relieve the besieged by attacking the base of the besieger
- 试验场shì yàn chǎng
proving ground
- 精密地jīng mì dì
by rule and line, critically, minutely
- 亥姆霍兹定理hài mǔ huò zī dìng lǐ
helmholtz theorem
- 证明合适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 dǐ
cloud base
- 验证yàn zhèng
test and verify; checking; proving; confirmation; corroboration
- 板条床bǎn tiáo chuáng
slatted bed base
- 共基极gòng jī jí
common base
- 基地jī dì
base
- 毕达哥拉斯定理bì dá gē lā sī dìng lǐ
pythagoras theorem
- 平均值定理píng jun1 zhí dìng lǐ
theorem of the mean
- 知识库管理系统zhī shí kù guǎn lǐ xì tǒng
KBMS(knowledge base management system)
- 洛必达法则luò bì dá fǎ zé
L'Hospital's rule
- 定理dìng lǐ
theorem
- 折尺shé chǐ
zigzag rule; folding rule; folding pocket measure; folding pocket rule
|