您要查找的是不是：
- 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
