1.
Reasoning and Symbolic Model Checking of Extended Temporal Logics
扩展时序逻辑的推理及符号化模型检验技术
2.
Extending Slices of Object-Z Classes Based on Temporal Logic
基于时序逻辑的Object-Z类切片的扩展
3.
Cannot delete extended DOS partition while logical drive exist.
当逻辑驱动器存在时,不能删除扩展DOS分区.
4.
Properties of Temporal Logic Operators and Extended Operations on Intuitionistic Fuzzy Singular Rough Sets
直觉模糊S-粗集时态逻辑算子及扩展运算性质
5.
logic-controlled sequential computer
逻辑控制时序计算机
6.
Types of Interpersonal Relationships and Interaction Logics:Expansion of the Differential Mode of Association Theory for Modern Chinese Society
现代社会的人际关系类型及其互动逻辑——试谈“差序格局”模型的扩展
7.
Logic Path Sizing Optimization Using Extended Logical Effort
使用扩展逻辑效力的逻辑路径尺寸优化方法
8.
Formal Semantics of Framed Temporal Logic Programming Language MSVL
框架时序逻辑程序语言MSVL的形式语义
9.
There are three types of partitions: primary, extended, and logical.
有三种磁盘分区: 主要、扩展和逻辑。
10.
Capital Expansion,Capital Logic Paradox and Scientific Outlook on Development
资本扩张、资本逻辑悖论与科学发展观
11.
C-SHOIQ: a Cloud Extension to Description Logic SHOIQ
C-SHOIQ:描述逻辑SHOIQ的云扩展
12.
A new model for mining multiple time series based on temporal logic
基于时态逻辑的多时间序列挖掘模型
13.
Logic, Mind and Cognition--On the Development of Logic in the post-Frege Time;
逻辑、心理与认知——论后弗雷格时代逻辑学的发展
14.
Chinese logic should extend its objects of study to the applicable logical field.
中国逻辑学的研究对象应该扩展到应用逻辑领域。
15.
Satisfiability and Expressiveness of Propositional Projection Temporal Logic;
命题投影时序逻辑的判定性和表达性
16.
Proceduralist Theory of Law: Theoretical Logic and Appropriate Circumstance of Times;
法律程序主义:论证逻辑和时代际遇
17.
Application of Minor State of Karnaugh Map in Logical Circuit of Time Sequence;
次态卡诺图在时序逻辑电路中的应用
18.
One Way to Design Scheduling Logic Circuit Based on MSI;
基于MSI的时序逻辑电路设计方法