logics信息详情
n.逻辑学（logic的复数）
logic───n.逻辑；逻辑学；逻辑性
logicise───逻辑化
logicism───n.逻辑主义；逻辑皱
logicist───逻辑
logical───adj.合逻辑的，合理的；逻辑学的
logiest───adj.迟缓的，迟钝的；呆呆的(logy的变形)
-logic───n.逻辑；逻辑学；逻辑性
biologics───n.生物制剂
logia───n.箴言集；《圣经》上未记载的耶稣语录
So called linear time logics are restricted to this type of reasoning.───所谓线性时间逻辑仅限于这种类型的推理。
I've always believed in Numbers, in the equations and logics that lead to reason.───我一直相信数字，不管是方程序还是逻辑学，都引导我们去思考。
Branching logics, however, can reason about multiple time lines.───分支逻辑，但是，可以原因多时间线。
Make your logics work and even difficult tasks will seem to be very simple then.───让您的逻辑工作，甚至将艰钜的任务似乎是非常简单的然后。
Business logics are referred to the remaining blackbox of a bundle other than the components above.───业务逻辑指的是包的其余黑箱，而不是上面的组件。
One of the basic principles of narrowing the differences is the unity of these three logics.───消除差异的基本原则是努力实现三个逻辑的统一；
The legal logics in abroad has been gained fruitful while china is in its ways from the beginning only.───在我国的法律逻辑刚刚起步的时候，国外的法律逻辑早已如火如荼的在发展并日渐成熟。
The logics and literature are total different academic fields in terms of subject categories and research objects.───逻辑学和文学，就学科分类、研究对象而言，属于性质和特点迥异的学术领域。
Along with the rise of symbol logics and intuitional logics, "three laws of thinking" had been oppugned and challenged in many aspects.───随着符号逻辑的兴起和直觉主义逻辑的出现，思维三律在许多方面受到质疑和挑战。
Based on the sufficient study on various logics in artificial intelligence and computer science, we in this project paid our main attention to the problem of model checking epistemic logic.
Description Logics(DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning.
The operating logics and processes of the automatic transfer of the incoming line breaker and the bus-tie switch are presented.
Since the German logician Gottlob Frege introduced logics at the end of the 19th century, the presupposition theory has become an indispensable part of logics.
Formal logics in AI have grown from the simple proposition logic to modal logic series, which are more com- plicated.
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
Description logics are fragments of the first-order logic, which contain concepts, roles, and concept and role constructors; and have features of strong expressivity and decidable reasoning.
The Adam Smith Problem has different levels of logics.
Totalistic governance combined with village traditions, politicized punishment, and frequent resistance became the basic logics in the rural politics and legal practice in that time.