... h secm 卧式电解成形机 h theorem h 定理 h type engine h 型发动机 ...
基于167个网页-相关网页
h theorem h
H定理
以上为机器翻译结果,长、整句建议使用 人工翻译 。
Based on these, the notion of generalized H-valuation in logic system UL is introduced, and the reliability theorem of UL on generalized H-valuation is proved.
以此为基础,对泛逻辑基本形式系统UL中的H -赋值进行了拓广,引入了广义h -赋值概念,证明了UL在广义h -赋值之下可靠性定理成立。
youdao
应用推荐
模块上移
模块下移
不移动