• 努西姆

  • 引用288篇文章[sw04131]
  • 卡内基梅隆大学机械化组推理热那瓦大学机械化组。。。推理特伦托大学的小组。NuSMV是一个重新实现和扩展。。。
  • Nuprl公司

  • 引用了387篇文章[sw06751]
  • Nuprl系统是推理关于数学和程序设计。多年来。。。
  • GQTPAR公司

  • 在303篇文章中引用[sw07451]
  • 方法。特别是,我们证明合理的假设牛顿产生的序列。。。
  • Z

  • 引用274篇文章[sw10291]
  • 促进正式规范和推理? 另一个令人失望的地方是。。。
  • 低成本

  • 在157篇文章中引用[sw08360]
  • 形成一个蓬勃发展的计算机辅助模式推理. 过去的许多发展。。。对自动化的影响推理一直是多样而深刻的。。。高阶逻辑最初是为推理关于硬件。2罗宾的多方面贡献。。。
  • Isar

  • 引用138篇文章[sw04599]
  • 这种半自动化的例子推理系统包括Coq、PVS、HOL和Isabelle。。。矛盾的是,现有的半自动推理系统有足够的基本概念。。。只是维护)。可理解的半自动推理(Isar)可读正式证明文件集的方法。。。交互式证据助理,我们到达一个合理的实时校对文档编辑环境。因此。。。
  • UG公司

  • 引用186篇[sw04596]
  • 商业代码使用它们。有两个原因为了这个。首先,多重网格解决方案。。。
  • 果洛语

  • 在169篇文章中引用[sw02159]
  • 世界。这允许程序原因关于世界的现状和考虑。。。
  • 弹丸

  • 引用92篇文章[sw07019]
  • 小球:猫头鹰2推理机对于Java。对于需要表示和的应用程序原因关于。。。系统中的声音和完整的OWL DL推理是必不可少的。弹丸包括支撑物。。。名词、连接查询回答和增量推理. 关于架构有更详细的信息。。。小球帮助功能。猫头鹰推理机就像颗粒是核心成分。。。
  • 海普拉斯

  • 引用158篇文章[sw17661号]
  • 试图呈现合理的平衡理论和数值程序在有限元计算中的应用。。。
  • NTRU公司

  • 在153篇文章中引用[sw11761]
  • 公钥密码体制。NTRU功能合理的快捷键,速度快,速度快。。。
  • ETPS公司

  • 在152篇文章中引用[sw06302]
  • 这些学科,专家系统原因人工智能的某些方面。。。
  • 数量

  • 在146篇文章中引用[sw07543]
  • 逻辑学及其定理证明者。推理4,第2期,117-172页(1988年)。然而。。。
  • 限制

  • 参考文献136篇[sw00784]
  • Matlab®6.5版或更高版本合理的快速平台,(iii)Matlab®符号。。。
  • CP网络

  • 引用130篇文章[sw01374]
  • net)是表示和的工具推理在条件相同的情况下。。。
  • 苏尔克

  • 引用了119篇文章[sw11355]
  • 查询)原语。次线性的假设变成合理的随着数据库变得越来越大。我们扩展这个。。。
  • 盎司

  • 引用113篇文章[sw06799]
  • 比如计划,时间表,位置和配置,推理自然语言的知识表示、处理。。。