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)是用来标记文件逻辑结构的语言。
Generalized tautologies theories of universal logic are studied for the first time.
本文首次对泛逻辑的广义重言式理论进行研究。
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.
级差含义是一类典型的一般会话含义，在推理的逻辑本质上属于缺省逻辑并具有系统形式化的可能。
应用推荐