1.
Formal Verification of Digital Hardware Based on HOL;
基于高阶逻辑系统HOL的数字硬件形式化验证
2.
Semi-supervised Clustering of Complex Structured Data Based on Higher-order Logic
基于高阶逻辑的复杂结构数据半监督聚类
3.
On the advanced stage of the development of logic science --dialectical logic;
论逻辑科学发展的高级阶段——辩证逻辑
4.
Three Types of Logic in Class Analysis and the Middle Classes;
阶级分析的三种逻辑与中产阶级研究
5.
The Progress of Literature on Logical Starting Point for Instructional Technology Theory-Building
我国教育技术学逻辑起点“阶段说”
6.
Study Dialectical Logic and Move the Science of Logic in Our Country into a New Phase;
研究辩证逻辑,把我国的逻辑研究推进到一个新阶段
7.
The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter-examples.
基于一阶逻辑相关概念的内涵，结合恰当的反例，探析了一阶逻辑推理规则成立的条件。
8.
A phase or an aspect of a logically developing process.
契机一个按逻辑发展过程的阶段或方面
9.
Theory of Truth Degree Based on the Measurable Set Interpretation of First-order Fuzzy Predicate Logic Gormulas;
一阶模糊谓词逻辑公式的可测集解释真度理论
10.
The Application of First-Order Predicate Logic in the Field of Knowledge Representation of Artificial Intelligence;
一阶谓词逻辑在人工智能知识表示中的应用
11.
“The Primary Stage of Socialism” is the Logical Starting Point of Deng Xiaoping Theory;
“社会主义初级阶段”是邓小平理论的逻辑起点
12.
Design of two-stage leakage detection logic for burner management system
燃烧器管理系统两阶段泄漏检测逻辑设计
13.
Implementation of Attack Reconstruction in First-order Logic Model for Security Protocols
安全协议一阶逻辑模型中攻击重构的实现
14.
logical consistency
逻辑兼容，逻辑一致性
15.
the quality of being consistent with or based on logic.
基于逻辑或与逻辑相符。
16.
logic of understanding and logic of reason
知性逻辑与理性逻辑
17.
objective logic and subjective logic
客观逻辑与主观逻辑
18.
In digital circuitry a circuit, which recognizes a high level to be a logical 1 and a low level as a logical-0 is said to use positive logic.
在数字电路中，每个将高电平识别为逻辑l。 把低电平识别为逻辑0的电路，被称为使用正逻辑。