时态逻辑
temporal logic; tense logic
时序逻辑语言
temporal logic language
时态
tense
时态间隔
temporal interval
时态区间
temporal interval
时序逻辑
temporal logic
时序逻辑网络
sequential logic network
时序逻辑元件
sequential logic element
时钟逻辑
clocked logic
识别逻辑
recognition logic
数理逻辑
mathematical logic
mathematical logic
数学逻辑
mathematical logic
数组互联逻辑
AIL
双极性逻辑门
bipolar logic gate
双线逻辑
double-rail logic
双向逻辑关系
bidirectional logical relationship
顺序逻辑控制
sequential logic control
伺服逻辑
servo logic
算法逻辑
algorithm logic; algorithmic logic
实现系统软件的基本语言
Basic Language for Implementation of System Software; BLISS