go top

conservative extension 添加释义

网络释义专业释义英英释义

  保守扩展

... conservative estimate 保守的估计; 保守的估算; 守恒估计 conservative extension 保守扩展; 守恒扩张 conservative factor 保险系数 ...

基于1041个网页-相关网页

  守恒扩张

... conservative estimate 保守的估计; 保守的估算; 守恒估计 conservative extension 保守扩展; 守恒扩张 conservative factor 保险系数 ...

基于44个网页-相关网页

  详细翻译

详细翻译>> conservative extension 保守扩展; 守恒扩张..

基于1个网页-相关网页

  • 守恒扩张

·2,447,543篇论文数据,部分数据来源于NoteExpress

Conservative extension

  • abstract: In mathematical logic, a logical theory T_2 is a (proof theoretic) conservative extension of a theory T_1 if the language of T_2 extends the language of T_1; every theorem of T_1 is a theorem of T_2; and any theorem of T_2 that is in the language of T_1 is already a theorem of T_1.

以上来源于: WordNet

双语例句

  • Objective: Discusses the effect of humeral supracondylar fractures of extension-ulnar type in children with Chinese medicine conservative treatment.

    目的探讨儿童肱骨髁上伸直尺偏骨折中医保守治疗疗效

    dict.cnki.net

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定