1.
On the Reconstruction of Complete Philosophy Pattern of Scientific Knowledge--discussion on the relationship between discovery logic and inspection logic;
重建科学认识的“完整哲学图式”——发现逻辑与检验逻辑关系探究
2.
Model Verification of Computer Interlocking System Control Logic
计算机联锁控制逻辑的模型检验方法
3.
conjunctive search
逻辑乘检索按与检索
4.
Safety logic assemblies of nuclear reactor Characteristics and test methods
GB/T5203-1985核反应堆安全逻辑装置特性和检验方法
5.
Reliability Sampling Inspection for(Log)Logistic Distribution;
(对数)逻辑斯谛克分布下可靠性抽样检验
6.
Hypothesis Test on Rational Behavior of Economics and Logic of Positive Analysis;
经济行为基本特征的假设检验与实证逻辑
7.
Logical Interpreting and Examinable Analyzing of the Functional Laws;
功能性规律的逻辑解读及可检验性分析
8.
Reasoning and Symbolic Model Checking of Extended Temporal Logics
扩展时序逻辑的推理及符号化模型检验技术
9.
Consistency Checking for Data Mining Metadata Based on Description Logic
基于描述逻辑的数据挖掘元数据的一致性检验
10.
Model Checking Based on Spatial Logic and CTL
基于空间逻辑和计算树逻辑的模型检测
11.
The Quality of Missing in Logic Deduction and the Test of it by Practice;
逻辑演绎的缺失性品性与实践检验——基于演绎本性的分析
12.
Establishment of Mathematical Model of 2005 National Physical Fitness Monitoring Data Logical Check Method
2005年国民体质监测数据逻辑检验方法的数学模型建立
13.
Experimental logic and its criticism and negation to traditional logic;
试验逻辑及其对传统逻辑的批评和否定
14.
Information Retrieval Systems:from Boolean Logic to Vector Space
情报检索系统:从布尔逻辑到向量空间
15.
On the Model Checking of SN P Systems Based on Rewriting Logic;
基于重写逻辑的SN P系统模型检测
16.
Model Checking Web Services Based on Temporal Logic of Knowledge
基于时态认知逻辑的Web服务模型检测
17.
Consistency checking of UML class diagram based on description logics
基于描述逻辑的UML类图一致性检测
18.
Graphic method for detecting special logical function including don't cares
含任意项特殊逻辑函数的图形化检测