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