-
箔-D
- 引用3篇文章[sw02584]
- 大型数据集的数据挖掘。多关系规则挖掘对于知识发现很重要。。。发现涉及多个关系表的模式。归纳的逻辑编程(ILP)技术已经有相当大的。。。成功就有多种关系规则但是,大多数ILP系统。。。
-
入侵
- 引用2篇文章[sw10124]
- 经验证,InvA将此公式简化为归纳的基本方程理论的性质。。。几个推论的应用规则. 通过各种技术的结合,如统一。。。自动化,自动验证多个证明义务。莫德归纳的定理证明器(ITP)可用于。。。
-
美国石油协会
- 引用8篇文章[sw09832]
- 用代数方法对程序进行关系规范规则. 由此得到的程序是正确的。。。一种语言中终止hyl同胚的模型归纳的类型。。。
-
代纳
- 参考11篇文章[sw23357]
- 小的方程组,类似于Prolog推理规则,指定抽象结构。。。句法分析,机器翻译,形态分析,语法归纳,以及有限状态建模。。。
-
RGITL公司
- 引用5篇文章[sw13917]
- 象征性执行原则归纳,从顺序程序的验证中知道。。。这些定理是信赖保证(RG)规则,它分解了全局安全属性。我们展示。。。