您要查找的是不是：
- 扩展Horn逻辑模型extended Horn logic model
- 扩展的Horn逻辑模型extended Horn logic model
- Horn逻辑Horn logic
- 基于Horn逻辑扩展模型的安全协议反例的自动构造Automatically Constructing Counter-Examples of Security Protocols Based on the Extended Horn Logic Model
- 逻辑logic
- Horn子句Horn clause
- 逻辑的logistic
- 他已把自己的势力范围扩展到金融界。He has extended his sphere of influence to the world of banking.
- 无线电高度表测试诊断中一种混合逻辑模型方法A Mixed Logic Model Method in the Radio Altimeter Test Diagnosis
- 逻辑电路logic circuit
- 逻辑关系logical relationship
- 扩展DEA模型extended DEA model
- 不合逻辑illogic
- 可扩展模型库entensible model library
- 逻辑运算Boolean calculation
- 逻辑能力logical capability
- 扩展支撑模型expanded linear expenditure system
- 逻辑分析logical analysis
- 模糊逻辑fuzzy logic
- 扩展CUPID模型extended CUPID model
