偏序时序逻辑
partial order temporal logic
任意基数集上的拟阵
matroids of arbitrary cardinality
任意逻辑组合
random logical combination
现场可程序逻辑数组
field programmable logic array
FPLA
序数逻辑斯蒂回归
ordinal Logistic regression
自律可测可程序逻辑数组
autonomous testable programmable logic array
点-时段时序逻辑
point-interval temporal logic
分支时间时序逻辑
branching-time temporal logic
高速时序逻辑
High speed sequencing logic
活动时序逻辑
temporal logic of actions
扩展时段时序逻辑
extended interval temporal logic
离散时间区间时序逻辑
discrete timed interval temporal logic