• 奥伊斯

• 3083篇参考文献[SW07248]
• 有人以前发现过这个算法吗？你决定问OEIS如果这个序列…第n项的显式公式。你决定不申请专利…

• Algl 60

• 445篇参考文献[SW21807]
• 代ALGOL但阿尔戈68委员会果断的在一个更复杂的设计上…

• 耶斯

• 132篇参考文献[SW044 36]
• Yice是一种高效的SMT求解器决定含有未解释的任意公式的可满足性…

• 莫迪卡

• 84篇参考文献[SW04352]
• MODEICA工具将有足够的信息决定这是自动的。MODEICA是这样设计的…

• 雷帕帕马迪洛

• 62篇参考文献[SW09313]
• 库是有用的，如果C++已经果断的作为选择的语言…

• 拉吉利

• 59篇参考文献[SW0794]
• 在过去的岁月里。提供的功能允许决定实解的存在性…

• 奎比

• 27篇参考文献[SW11381]
• Qube：一个系统决定量化布尔公式可满足性。决定一个量化的可满足性…直接映射到问题决定QBF的可满足性。在本文中…现在的Qube，一个系统决定QBFS可满足性。我们在第2节开始我们的演讲。

• MML

• 47篇参考文献[SW06970]
• 多年的松散审议，社区果断的调查许可证的问题…

• 氯化铯

• 47篇参考文献[SW09462]
• 协作有效性检验器。决策程序可判定的逻辑和逻辑理论已经证明…

• 亚戈

• 41篇参考文献[SW1909]
• 逻辑清洁模型，即可判定的可扩展，与RDFS兼容。最后，我们展示…

• 乌普巴尔蒂加

• 38篇参考文献[SW12913]
• 早就知道了可判定的迄今为止一直缺乏…

• KL-酮

• 38篇参考文献[SW28 891]
• 种类繁多的描述逻辑可以果断的使用类表算法。这

• 颜色

• 37篇参考文献[SW09806]
• 已开发来解决问题决定针对特定问题的终止（自…

• 兰格斯

• 34篇参考文献[SW0501]
• LangAGE是一组程序决定不管语言是否…

• 熊猫

• 33篇参考文献[SW01122]
• 模式。在第二模块中，用户决定哪种设计参数…

• ASF+SDF

• 31篇参考文献[SW11316]
• 遗留系统的更多特性，我们果断的建立一个全新的、基于组件的…

• JUnit

• 29篇参考文献[SW07262]
• 规范语言的运行时断言检查程序决定方法是否正确工作，从而自动化…

• 苏打

• 28篇参考文献[SW27 217]
• 动态监控数据以便决定使用哪种方法。LSOD源…

• 布尔人

• 27篇参考文献[ SW000 085 ]
• 模理论（SMT）是一个问题。决定一个逻辑公式的可满足性，表示…

• 算法922

• 27篇参考文献[SW12858]
• 计算效率高，搜索间隔为果断的用Faber-KrHn型不等式进行传输。