您要查找的是不是：
- Horn逻辑 Horn logic
- 扩展Horn逻辑模型 extended Horn logic model
- 扩展的Horn逻辑模型 extended Horn logic model
- Horn逻辑程序和形式文法之间的对应关系 The Correspondence between Horn Logic Programs and Formal Grammars
- 逻辑 logic
- 基于Horn逻辑扩展模型的安全协议反例的自动构造 Automatically Constructing Counter-Examples of Security Protocols Based on the Extended Horn Logic Model
- Horn子句 Horn clause
- horn函子 hom functor
- 逻辑的 logistic
- Horn集上的语义正单元归结 Semantically - Positive - Unit Resolution for Horn Sets
- 在最坏情况下Horn集上的单元反驳长度 The Lengths of Unit Refutations for Horn Sets in the Worst Case
- 逻辑电路 logic circuit
- 基于模糊神经网络的Horn集上的输入归结 Input Resolution on Horn Sets Based on Fuzzy Neural Networks
- 逻辑关系 logical relationship
- 数理逻辑 symbolic logic
- 通过代数运算减轻了horn算法中全局约束对运动边界的影响。 The harmful effect on the motion edge by global smoothness constraint in Horn algorithm is weakened by algebraic operation.
- 不合逻辑 illogic
- 逻辑运算 Boolean calculation
- 逻辑能力 logical capability
- 逻辑分析 logical analysis
