Today, all successful interoperable applications and developments are based on such standards or protocols like HTTP, HTML, WSDL, etc. rather than any logics.
目前，所有成功的可互操作应用程序和开发都是基于此类标准或HTTP、HTML、WSDL之类的协议，而不是以任何逻辑为基础的。
I've always believed in Numbers, in the equations and logics.
我一直相信数字，相信方程和逻辑。
Entailment is a very important concept in the field of pragmatics and logics.
在语用学和逻辑学领域中，蕴涵是一个很重要的概念。
Necessity and contingency are a pair of very important categories in philosophy and logics.
必然性和偶然性是哲学和逻辑学中一对重要的范畴。
The way of unifying the logics and history;
逻辑与历史统一的方法；
The Adam Smith Problem has different levels of logics.
“亚当·斯密问题”有不同的逻辑层面。
Usual logics just deal with the concept of static negation.
通常的逻辑只涉及静态否定的概念。
So called linear time logics are restricted to this type of reasoning.
所谓线性时间逻辑仅限于这种类型的推理。
The logics are complicated and have poor stability in early switch circuit.
早期的交换电路逻辑复杂、稳定性差。
Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
However, differentenvironment perspectives led to different strategic fit logics.
然而，由于环境视角不同，产生了不同的战略适应逻辑。
I've always believed in Numbers, in the equations and logics that lead to reason.
我一直以来都坚信数字，不管是方程还是逻辑都引导我们去思考。
There are a variety of temporal logics appropriate for a variety of reasoning tasks.
不同的时态逻辑能够适应不同的推理任务。
In particular we show that all the standard logics have decision problems in PSPACE.
尤其是，文中指出，所有标准逻辑在PSPACE中都存在决策问题。
And we need to harmonize the very different requirements and logics of work and worker.
我们需要调和工作与工人的各种不同需求与逻辑。
Nixida believes that there is deeper logics in subjective world beside the objective world.
西田认为除客观世界的逻辑之外还应有更深刻的主观世界的逻辑。
Based on this thought, we propose an IDS alert correlation model based on description logics.
在此思想基础上，进一步提出了基于描述逻辑的IDS告警关联模型。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
Abstract: : This article focuses on the multiple theoretical logics in the youth Althusser's philosophical thoughts.
内容提要：本文主要讨论了青年阿尔都塞哲学中思想的多重理论逻辑。
However, green marketing in present Chinese enterprises is actually in conflict with the logics of enterprise behavior.
目前，我国企业绿色营销面临着与企业行为逻辑的现实冲突。
The concepts in the logics must be clear, explicit, but there also exist some misty concepts in realistic language context.
逻辑学要求使用的概念必须清楚、明确，但在现实语境中也存在模糊概念。
Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
The operating logics and processes of the automatic transfer of the incoming line breaker and the bus-tie switch are presented.
给出了进线断路器备自投和母联开关备自投的工作逻辑和投切过程。
These semantic - based systems use description logics, concept contraction and concept abduction to compute the matchmaking degree.
基于语义的系统用描述逻辑、概念收缩法和概念试推法，计算语义匹配度大小。
For lack of explicit and definite semantics in BAN like logics, their correctness of syntax rules and reasoning is under suspicion.
由于类BAN逻辑缺乏明确而清晰的语义，其语法规则和推理的正确性就受到了质疑。
Control principle, control tactics, control logics and algorithm of motor vehicle dynamics stability control are theoretically analyzed.
对车辆动力学稳定性控制的控制原理、控制策略、控制逻辑和算法进行了理论分析。
But temporal logics of knowledge can describe more accurately the desirable specification of systems and protocols in distributed systems.
而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范。
How to make classical mathematical logic more flexible to contain various uncertainties and evolution is a new challenge that logics faces.
如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
How to make classical mathematical logic more flexible to contain various uncertainties and evolution is a new challenge that logics faces.
如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
应用推荐