查询词典 Boolean

By means of the decidable theory of boolean expressions, we present a new approach to check bisimulations of the finite-control π-calculus.

利用关于其布尔表达式的可判定理论，本文对有穷控制π-演算的互模拟验证问题给出了一种新的解决方法。

These models form a operation list, use Boolean operation. Finically finished 3D reconstruction.

对剖视图，只作了局部剖的部分情况的研究。

Finding the the essential prime implicants, This part determine the essential prime implicant that will form the boolean function we need.

寻找蕴涵的基本素，这部分确定的基本素蕴涵，这将成为我们需要的布尔函数。

Collision – Unknown to both me and Brother Laz, but this boolean is related to the previous one, many missiles that have no "physical collision" but still perform a collision event will have this set to 1.

Collision –我和Brother Laz都不清楚这列是什么用。，但这布尔型关系到前一列，很多投射物没有&物理碰撞&但时依然旅行碰撞事件，在这里设置为1。

LastCollide – Unknown to both me and Brother Laz, but this boolean seams to be related to some special behavior on missiles that don't vanish upon collision, such as fire effects and some other effects that are client-side only.

LastCollide –我和Brother Laz都不清楚这列是什么用。但是布尔类型看起来象和投射物碰撞时某些特殊的行为相关，比如火效果和一些其他只在客户端的效果。

Monadic Boolean algebras also have an important connection to modal logic.

一元布尔代数还与模态逻辑有重要联系。

They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra.

模态逻辑 S5，被看作 S4 中一个理论，是一元布尔代数的模型，如同模态逻辑 S4 是内部代数的模型。

Especially, by use of the new point, the concept of atom is defined from which the essential implications of atom and nonseparation are brought in, and Stone theorem of finite Boolean algebra is extended to alleged atomic algebra.

特别本文用新的观点给出了&原子&的定义，这个定义给出了&原子&的&不可再分&的本来含义，并且将有限布尔代数的Stone定理推广到所谓原子代数中去。

The framework already includes controls for editing string, numbers, enums, date/time with calendars and boolean with checkboxes (of 3 states, if it is nullable), so creating basic forms is only a question of using these types.

该框架已包括编辑字符串，数字，枚举控件，日期/有日历和复选框（3州布尔时间，如果是空），所以创造的基本形式，只是使用这些类型的问题。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。