• OEIS

  • 引用第3174条[sw07248]
  • 以前有人发现过这个算法吗?你呢决定问OEI这个序列是否。。。第n项的显式公式。你呢决定不申请专利。。。
  • 阿尔戈60

  • 引用文献448篇[sw21807]
  • ALGOL一代但是Algol68委员会果断的在一个更复杂的设计上。。。
  • 依斯

  • 参考文献136篇[sw04436]
  • Yices是一种高效的SMT解决方案决定含未解释的任意公式的可满足性。。。
  • 莫代利卡

  • 引用86篇文章[sw04352]
  • Modelica工具将有足够的信息决定那是自动的。Modelica的设计是为了。。。
  • 拉格利布

  • 引用了60篇文章[sw00774]
  • 在现实中。提供的功能允许决定真解的存在。。。
  • 库贝

  • 引用的第27条[sw11381]
  • QuBE:一个系统决定量化布尔公式可满足性。决定一个量化的。。。直接映射到决定QBF的可满足性。在本文中。。。现在的QuBE,一个决定QBFs可满足性。我们在§2中的演示开始时。。。
  • 引用47篇文章[sw06970]
  • 多年的松散审议,社会各界果断的为了调查许可证问题。。。
  • CVC公司

  • 引用47篇文章[sw09462]
  • 配合有效性检查。决策程序可判定的逻辑学和逻辑理论已经证明。。。
  • 雅戈

  • 引用了43篇文章[sw11909]
  • 逻辑上干净的模型可判定的,可扩展,并与RDFS兼容。最后,我们展示。。。
  • 吉隆坡一号

  • 引用了40篇文章[sw28891]
  • 多种描述逻辑可以果断的使用类似表格的算法。这个。。。
  • 颜色

  • 引用了37篇文章[sw09806]
  • 是为了解决决定因特定问题终止合同(因为。。。
  • 语言

  • 引用了35篇文章[sw00501]
  • 语言是一套决定不管一种语言是不是。。。
  • 熊猫

  • 参考33篇文章[sw01122]
  • 模式。在第二个模块中,用户决定哪个设计参数。。。
  • ASF+SDF公司

  • 引用32篇文章[sw11316]
  • 传统系统的更多特征,我们果断的构建一个全新的、基于组件的。。。
  • 朱尼特

  • 引用了29篇文章[sw07262]
  • 规范语言的运行时断言检查器决定方法是否正确工作,从而自动化。。。
  • 算法922

  • 引用了29篇文章[sw12858]
  • 计算效率高,搜索间隔为果断的用费伯-克莱恩型不等式来计算传输。。。
  • 伊索达

  • 引用的第28条[sw27217]
  • 动态监控数据以便决定使用哪种方法。伊索达的消息来源。。。
  • 选择器

  • 引用的第27条[sw00085]
  • 模理论(SMT)是决定逻辑公式的可满足性,表示为。。。