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