1.
Formal Semantics of Framed Temporal Logic Programming Language MSVL
框架时序逻辑程序语言MSVL的形式语义
2.
Application of Well-founded Induction in Verifying Invariance of Temporal Logic Programs
良基归纳法在时序逻辑程序不变式验证中的应用
3.
Proceduralist Theory of Law: Theoretical Logic and Appropriate Circumstance of Times;
法律程序主义:论证逻辑和时代际遇
4.
Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic
基于时序逻辑证明编译优化程序变换的保义性
5.
programmed logic array (PLA)
编程逻辑阵列;程控逻辑阵列;程序控制的逻辑阵列;程序控制逻辑阵列;程序逻辑阵列
6.
program's effective logical addressing space
程序有效逻辑编址空间
7.
PLM (Programmable Logic Matrice)
可编程序的逻辑矩阵
8.
multiprogramming executive control logic
多道程序执行控制逻辑
9.
Micro-Processor & Program Logic
微处理机和程序逻辑
10.
PULSE (Programme of Universal Logic Simulation for Electronics)
通用电子逻辑模拟程序
11.
Logical entities (applications)
逻辑实体（应用程序）
12.
caller's logic address space
调用程序逻辑地址空间
13.
LIFT (Logically Integrated FORTRAN Translator)
逻辑集成公式翻译程序
14.
programmable logic controller (PLC)
可编程序逻辑控制器
15.
logic-controlled sequential computer
逻辑控制时序计算机
16.
Verification of business process constraints based on temporal logic
基于时序逻辑的业务过程约束建模及验证
17.
Criminal Procedure Logic Structure--Objective Certainty of Procedure Judge
刑事程序逻辑结构——程序性裁判之存在基础
18.
A new model for mining multiple time series based on temporal logic
基于时态逻辑的多时间序列挖掘模型