• OEIS

• 引用3479篇文章[sw07248]
• 以前有人发现过这个算法吗？你呢决定问OEI这个序列是否。。。第n项的显式公式。你呢决定不申请专利。。。

• 阿尔戈60

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

• 依斯

• 在141篇文章中引用[sw04436]
• Yices是一种高效的SMT解决方案决定含未解释的任意公式的可满足性。。。

• 莫代利卡

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

• Rcparmadillo公司

• 引用81篇文章[sw09313]
• 如果C++已经果断的作为选择的语言。。。

• 拉格利布

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

• 雅戈

• 引用51篇文章[sw11909]
• 逻辑上干净的模型可判定的，可扩展，并与RDFS兼容。最后，我们展示。。。

• 库贝

• 引用了29篇文章[sw11381]
• QuBE：一个系统决定量化布尔公式可满足性。决定一个量化的。。。直接映射到决定QBF的可满足性。在本文中。。。现在的QuBE，一个决定QBFs可满足性。我们从§ 2带。。。

• 嗯

• 引用47篇文章[sw06970]
• 多年的松散审议，社会各界果断的为了调查许可证问题。。。

• CVC公司

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

• 乌帕阿尔提加

• 引用42篇文章[sw12913]
• 早就知道可判定的一直到现在还缺少。。。

• UQLab公司

• 引用了30篇文章[sw19740]
• 苏黎世ETH的不确定性量化，以及果断的收集十年来的成果。。。两年的发展果断的为其他研究打开平台。。。

• 吉隆坡一号

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

• 颜色

• 在38篇文章中引用[sw09806]
• 是为了解决决定因特定问题终止合同（因为。。。

• 语言

• 引用36篇[sw00501]
• 语言是一套决定不管一种语言是不是。。。

• 熊猫

• 参考33篇文章[sw01122]
• 模式。在第二个模块中，用户决定哪个设计参数。。。

• ASF+SDF公司

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

• 算法922

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

• 朱尼特

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

• 选择器

• 引用28篇文章[sw00085]
• 模理论（SMT）是决定逻辑公式的可满足性，表示为。。。