您要查找的是不是：
- 广义Horn集GENERALIZED HORN SETS
- Horn集上的语义正单元归结Semantically - Positive - Unit Resolution for Horn Sets
- 在最坏情况下Horn集上的单元反驳长度The Lengths of Unit Refutations for Horn Sets in the Worst Case
- 基于模糊神经网络的Horn集上的输入归结Input Resolution on Horn Sets Based on Fuzzy Neural Networks
- Horn集上的语义归结和调换Semantic Resolution and Paramodulation for Horn Sets
- Horn集上的HOI消解与HOL消解The HOI Resolution and HOL Resolution in Horn Set
- Horn子句Horn clause
- horn函子hom functor
- Horn逻辑Horn logic
- 杂集miscellany
- 扩展Horn逻辑模型extended Horn logic model
- 广义M集general M set
- 论集analects
- 广义粗集generalized rough set
- 广义M-J集general M-J set
- 广义割集[计] seg
- 集思广义synectics
- 广义Julia集general Julia set
- 广义决策集Generalized Decision Set
- 广义粗糙集Generalized Rough Set
