1.
Properties of Temporal Logic Operators and Extended Operations on Intuitionistic Fuzzy Singular Rough Sets
直觉模糊S-粗集时态逻辑算子及扩展运算性质
2.
Research on Operator Dynamic Fuzzy Logic System and Its Resolution
算子动态模糊逻辑系统及其归结研究
3.
Symbolic Model Checking Algorithm for Temporal Epistemic Logic CTL*K
时态认知逻辑CTL*K的符号化模型检查算法
4.
logic-controlled sequential computer
逻辑控制时序计算机
5.
A new model for mining multiple time series based on temporal logic
基于时态逻辑的多时间序列挖掘模型
6.
Teleportation of Quantum States and Their Quantum Logic Circuits;
量子态的隐形传送及其量子逻辑电路
7.
A term sometimes used synonymously with" arithmetic(logic) unit" .
本术语有时用作“运算（逻辑）器”的同义语。
8.
To perform the operation of negation.
实现逻辑“非”运算。
9.
3.1.6 Logical operators
3.1.6 逻辑运算符
10.
Application of Minor State of Karnaugh Map in Logical Circuit of Time Sequence;
次态卡诺图在时序逻辑电路中的应用
11.
Temporal Logic Property Verification for SystemC Designs
基于SystemC的时态逻辑属性验证方法研究
12.
Model Checking Web Services Based on Temporal Logic of Knowledge
基于时态认知逻辑的Web服务模型检测
13.
Disturbancy Fuzzy Logic and Its "And" and "Or" Operators;
扰动模糊逻辑及其“与”,“或”算子
14.
On severa important implication oprators: their properties and comparison;
若干重要逻辑蕴涵算子的性质与比较
15.
The “And” “Operatos” and “Or”“Operators” of Instuitionstic Fuzzy Logic;
直觉模糊逻辑“与”、“或”算子的研究
16.
The arithmetic logic unit (ALU), which performs arithmetic and logical operations.
算术逻辑单元，用来进行算术逻辑运算。
17.
n-valued logic system Gn based on the derived operator of Gdel implication operator;
基于Gdel蕴涵算子的导出算子的n值逻辑系统
18.
The Chain of Temporal Logic : the Puzzle of Study on Reasons of Zhuangzi;
时间—逻辑链条:《庄子》道体研究的迷障