1.
Model Checking Based on Spatial Logic and CTL
基于空间逻辑和计算树逻辑的模型检测
2.
ORACLE (Oak Ridge Automatic Computer andLogical Engine)
橡树岭自动计算机和逻辑机
3.
calculator with arithmetic logic
带有算术逻辑的计算器
4.
arithmetic logic of pocket calculator
袖珍计算机的算术逻辑
5.
logic computer aided design
逻辑的计算机辅助设计
6.
algebraic logic of pocket calculator
袖珍计算机的代数逻辑
7.
culator with algebraic logic
带有代数逻辑的计算器
8.
logic-controlled sequential computer
逻辑控制时序计算机
9.
Logical reduction can speed up fault tree analysis effectively.
对故障树进行逻辑简化将有效提高分析计算的速度。
10.
CALD (Computer-Aided Logic Design)
计算机辅助逻辑电路设计
11.
FLUID LOGIC NETWORK CAD AND OPTIMIZATION
流体逻辑网络计算机辅助设计及优化
12.
To perform the operation of negation.
实现逻辑“非”运算。
13.
3.1.6 Logical operators
3.1.6 逻辑运算符
14.
Logic is the meat and potatoes of computers.
逻辑是计算机最基本的部分。
15.
The Design and Verification of a 600MHz YHFT-DX ALU
600MHz YHFT-DX算术逻辑部件设计与验证
16.
Algorithm for NAND Flash Bad Block Management and Design for Logical Layer Driver
NAND Flash坏块管理算法及逻辑层驱动设计
17.
Knowledge Representation and Reasoning Based on Computability Logic
基于可计算性逻辑的知识表示与推理
18.
Propositional formula based model for NTFS user-role computing
基于逻辑式的NTFS用户角色计算模型