- 1. 例化: universal instantiation
...一阶语句的推理规则 前向链接 反向链接 简化为命题推理 直接在一阶逻辑中推理 全称实例化（Universal instantiation, UI) 可以推断出任何用基项（没有变量的基本对象）置换变量 得到的语句，设SUBST（θ ,α ）表示...
dict.youdao.com - 2. 实例化: instantiate
dict.youdao.com - 3. 实例化: instantiation
dict.youdao.com - 4. 实例化: Instancing
dict.youdao.com - 5. 实例化: lazy instantiation
dict.youdao.com - 6. 全称实例化: universal instantiation
dict.youdao.com - 7. 实例化活控件: Instantiate Live Controls
dict.youdao.com - 8. 显式实例化: explicit instantiation
dict.youdao.com - 9. 显式实例化: explicit instzeroine
dict.youdao.com - 10. 元件例化语句: COMPONENT INSTANTIATION
dict.youdao.com
有道词典