1.
A new model for mining multiple time series based on temporal logic
基于时态逻辑的多时间序列挖掘模型
2.
Temporal Logic Property Verification for SystemC Designs
基于SystemC的时态逻辑属性验证方法研究
3.
Study on Migrating Instance Run-Time Security Based on Temporal Logic
基于时态逻辑的迁移实例运行时安全研究
4.
Adding linear temporal logic with clocks to Object-Z
用带时钟变量的线性时态逻辑扩充Object-Z
5.
Properties of Temporal Logic Operators and Extended Operations on Intuitionistic Fuzzy Singular Rough Sets
直觉模糊S-粗集时态逻辑算子及扩展运算性质
6.
Research on Model Checking of Petri Nets Based on Linear Temporal Logic
基于线性时态逻辑的Petri网模型检测研究
7.
Research on Open Temporal Logic Based Formal Verification and Modular Reasoning of Aspect-Oriented Programs
基于开放时态逻辑的面向方面程序形式化验证和模块推理研究
8.
Application of Minor State of Karnaugh Map in Logical Circuit of Time Sequence;
次态卡诺图在时序逻辑电路中的应用
9.
Model Checking Web Services Based on Temporal Logic of Knowledge
基于时态认知逻辑的Web服务模型检测
10.
Logic qualitative research on stress tenses of stress response in medical student of type A behaviors;
医学生A型行为者应激时态的逻辑质研究
11.
Symbolic Model Checking Algorithm for Temporal Epistemic Logic CTL*K
时态认知逻辑CTL*K的符号化模型检查算法
12.
static logic diode element
静态逻辑二极管元件
13.
static logic transistor element
静态逻辑晶体管元件
14.
Dialectic: A New Type of Dialectical Logic;
Dialectic:辩证逻辑的新形态
15.
logic-controlled sequential computer
逻辑控制时序计算机
16.
The New Trend of Philosophy of Logic and Its Inspiration on the Study of Chinese Logic
逻辑哲学的新动态及其对中国逻辑研究的启发
17.
Logic, Mind and Cognition--On the Development of Logic in the post-Frege Time;
逻辑、心理与认知——论后弗雷格时代逻辑学的发展
18.
Logical Forms of English and Logical Analysis in Translation from English into Chinese;
英语的逻辑形式和英译汉时的逻辑分析