An application server is a generalized server that exposes business logic to client applications through various protocols, possibly including HTTP.
应用程序服务器是广义上的服务器，通过各种协议，其中可能包括HTTP协议，来向客户机应用程序公开业务逻辑。
Standard Generalized Markup Language (SGML) is used to mark the logic structure of text.
标准通用置标语言(SGML)是用来标记文件逻辑结构的语言。
The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。
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 -赋值之下可靠性定理成立。
Firstly, on the basis of implication, originating from the limited Disturbing Fuzzy Propositional logic, discusses its logic algebra and the properties of its generalized tautology.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
Grice referred to a branch of conversational implicature - the generalized conversational implicature and the particularized conversational implicature in "Logic and conversation" published in 1975.
格赖斯在1975年发表的著作“逻辑与会话”一文中提到会话含义的一类——一般会话含义和特殊会话含义。
As a typical species of generalized conversational implicature, scalar implicature falls well into the realm of Default Logic susceptible to systematic formalization.
级差含义是一类典型的一般会话含义，在推理的逻辑本质上属于缺省逻辑并具有系统形式化的可能。
As a typical species of generalized conversational implicature, scalar implicature falls well into the realm of Default Logic susceptible to systematic formalization.
级差含义是一类典型的一般会话含义，在推理的逻辑本质上属于缺省逻辑并具有系统形式化的可能。
应用推荐