网站首页  英汉词典

请输入您要查询的英文单词：

　

单词 backward production system for theorem proving
释义

backward production system for theorem proving

    • 由好变坏yóu hǎo biàn huài backward
    • 试验场shì yàn chǎng proving ground
    • 亥姆霍兹定理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 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
    • 大规模生产dà guī mó shēng chǎn mass production
    • 定理dìng lǐ theorem
    • 倒拼dǎo pīn spell backward
    • 返波fǎn bō backward wave
    • 费马最后定理fèi mǎ zuì hòu dìng lǐ Fermat's last theorem
    • 宗法zōng fǎ patriarchal clan system
    • 批量生产pī liàng shēng chǎn quantity production; volume production
    • 探明tàn míng prove up
    • 验方yàn fāng proved recipe
    • 傅里叶积分公式fù lǐ yè jī fèn gōng shì integral theorem of fourier
    • 制度zhì dù system
    随便看

    　

    英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。

    　

    Copyright © 2004-2024 encnc.com All Rights Reserved
    更新时间：2025/12/13 0:33:23