...一阶语句的推理规则 前向链接 反向链接 简化为命题推理 直接在一阶逻辑中推理 全称实例化(Universal instantiation, UI) 可以推断出任何用基项(没有变量的基本对象)置换变量 得到的语句,设SUBST(θ ,α )表示...
基于4个网页-相关网页
实例化 instantiate ; instantiation ; Instancing ; lazy instantiation
全称实例化 universal instantiation
实例化活控件 Instantiate Live Controls
显式实例化 explicit instantiation ; explicit instzeroine
元件例化语句 COMPONENT INSTANTIATION ; componentItantiation ; component instantiation statement ; COMPONENT INSTANT
惯例化 Conventionalization
实例化重复的贴图 Instance Duplicate Maps
实例化集合和代理 Initializing collections and proxies
从这个关联中例化的映射在调和时将不被考虑。
The mappings instantiated from this relation will not be taken into account during reconciliation.
使用这个类,不需要复制代码就可以实现任意类单例化。
So with this class we can makeany class singleton, without duplicating the code.
约束模式[7]是可以被例化并随后配置的,用于简洁地开发约束的预定义的约束表达式。
Constraint patterns 7 are predefined constraint expressions that can be instantiated and subsequently configured for developing constraints in a concise way.
Construction is a combination of workmanship and choice of materials. Take this computer, if I pull the silicon out, I replace it with gallium arsenide, leave everything else the same.
构造则是技巧和材料的选择,的结合,拿这个电脑为例,如果我将硅取出,替换成砷化镓,其他东西不变。
应用推荐