generalized logic circuit 泛逻辑电路
generalized logic diagram 广义逻辑图
generalized inductive logic causal model 广义归纳逻辑因果模型
generalized modal logic 广义模态逻辑
generalized intentional logic 广义内涵逻辑
generalized multilinear fuzzy logic systems 广义多线性模糊逻辑系统
Standard Generalized Markup Language (SGML) is used to mark the logic structure of text.
标准通用置标语言(SGML)是用来标记文件逻辑结构的语言。
Generalized tautologies theories of universal logic are studied for the first time.
本文首次对泛逻辑的广义重言式理论进行研究。
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 -赋值之下可靠性定理成立。
应用推荐