• 哈夫曼

  • 1条引用[sw32218]
  • 形式化是对习惯的运用归纳 规则帮助伊莎贝尔的自动战术,领导。。。
  • 流浪汉

  • 引用2篇文章[sw07948]
  • 建立基于树的排名规则穿过树归纳在克莱门松和瓦耶蒂斯提出的方法。。。
  • 加利娜

  • 参考6篇文章[sw27568]
  • 规则所实现的分型算法在微积分中都有描述归纳的构造。。。
  • 主管Prim

  • 在0篇文章中引用[SW508号]
  • 包管理Prim。病人规则 归纳通常用于“凹凸”数据。。。
  • 库莫

  • 引用5篇文章[sw06963号]
  • 推论规则在一阶逻辑和隐式方程逻辑中实现,包括归纳...
  • 椰林

  • 引用2篇文章[sw28719]
  • 杜撰就是一个证明规则. 它是双重的归纳. 它能让我们推理。。。
  • 箔-D

  • 引用3篇文章[sw02584]
  • 大型数据集的数据挖掘。多关系规则挖掘对于知识发现很重要。。。发现涉及多个关系表的模式。归纳的逻辑编程(ILP)技术已经有相当大的。。。成功就有多种关系规则但是,大多数ILP系统。。。
  • 引用2篇文章[sw29233]
  • 字符)用于归纳的序列过程的不变证明,提升规则对于开放版本。。。
  • 高斯

  • 引用4篇文章[sw23759]
  • 归纳的对性能数据数据库进行通用化的逻辑编程;这将产生高级规则...
  • 入侵

  • 引用2篇文章[sw10124]
  • 经验证,InvA将此公式简化为归纳的基本方程理论的性质。。。几个推论的应用规则. 通过各种技术的结合,如统一。。。自动化,自动验证多个证明义务。莫德归纳的定理证明器(ITP)可用于。。。
  • 美国石油协会

  • 引用8篇文章[sw09832]
  • 用代数方法对程序进行关系规范规则. 由此得到的程序是正确的。。。一种语言中终止hyl同胚的模型归纳的类型。。。
  • 代纳

  • 在10篇文章中引用[sw23357]
  • 小的方程组,类似于Prolog推理规则,指定抽象结构。。。形态分析,语法分析,机器翻译归纳,以及有限状态建模。。。
  • 汽车加价

  • 1条引用[sw00058]
  • 归纳的学习算法C5,它自动生成并应用标记规则从最近的。。。
  • RGITL公司

  • 引用5篇文章[sw13917]
  • 象征性执行原则归纳,从顺序程序的验证中知道。。。这些定理是信赖保证(RG)规则,它分解了全局安全属性。我们展示。。。
  • FlexibleQL

  • 1条引用[sw02014]
  • 完全支持决策树和决策规则采矿似乎不。。。为了回答更多归纳的查询。因此,新的组织和管理要求。。。采空区后处理能力规则以后。。。
  • ACL2

  • 引用了275篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。