您要查找的是不是:
- Horn邏輯Horn logic
- 擴展Horn邏輯模型extended Horn logic model
- 擴展的Horn邏輯模型extended Horn logic model
- Horn邏輯程序和形式文法之間的對應關(guān)系The Correspondence between Horn Logic Programs and Formal Grammars
- 邏輯logic
- 基于Horn邏輯擴展模型的安全協(xié)議反例的自動(dòng)構造Automatically Constructing Counter-Examples of Security Protocols Based on the Extended Horn Logic Model
- Horn子句Horn clause
- horn函子hom functor
- 邏輯的logistic
- Horn集上的語(yǔ)義正單元歸結Semantically - Positive - Unit Resolution for Horn Sets
- 在最壞情況下Horn集上的單元反駁長(cháng)度The Lengths of Unit Refutations for Horn Sets in the Worst Case
- 邏輯電路logic circuit
- 基于模糊神經(jīng)網(wǎng)絡(luò )的Horn集上的輸入歸結Input Resolution on Horn Sets Based on Fuzzy Neural Networks
- 邏輯關(guān)系logical relationship
- 數理邏輯symbolic logic
- 通過(guò)代數運算減輕了horn算法中全局約束對運動(dòng)邊界的影響。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