• 水獭

• 引用320篇文章[sw02904]
• 现在的自动化 演绎系统水獭是用来证明一阶逻辑中的定理。。。

• 马拉雷亚

• 引用了50篇文章[sw10278]
• 简单元系统迭代组合演绎的 自动化推理工具（现在的E和SPASS。。。

• ETPS公司

• 引用161篇[sw06302]
• 证明包括硬件和软件验证，部分自动化各种数学活动，促进各种学科理论的发展，演绎的这些学科的信息系统，专家系统。。。

• 可悲的

• 引用15篇文章[sw09796]
• 系统自动化 演绎（SAD）：一种验证证据的工具。在这篇论文中，一个证明。。。

• 原因3

• 参考文献136篇[sw04438]
• 为什么3是一个平台演绎的程序验证。它为规范提供了一种丰富的语言……依赖于外部定理证明器，两者都是自动化并进行交互，达到放电验证条件。为什么3来了。。。

• 口吃

• 引用9篇文章[sw22200]
• 证明理论和自动化 演绎.相比之下自动化交互定理。。。

• 测试程序集

• 引用75篇文章[sw00973]
• 证明包括硬件和软件验证，部分自动化各种数学活动，促进各种学科理论的发展，演绎的这些学科的信息系统，专家系统。。。

• 凯玛拉

• 引用48篇文章[sw03709]
• 联合收割机演绎的实代数和计算机代数证明技术。它是一个自动化和互动。。。

• 赫比

• 参考6篇文章[sw21545]
• 参加了关于自动化 演绎的比赛。源鳕鱼进化了。。。

• mkbTT公司

• 参考6篇文章[SW18号文件]
• 完成是自动化 演绎把一组方程转化成。。。

• 流浪汉

• 引用21篇文章[sw21343]
• 几个自动化一阶逻辑的自然等价定理证明器演绎证据。。。

• F*

• 参考第20条[sw27563]
• 把自动化支持SMT演绎的用表现力验证。。。

• 数据中心

• 引用3篇文章[sw26325]
• 系统数据处理自动化 演绎一阶逻辑中的等式。它的特色。。。

• GEX公司

• 引用了35篇文章[sw09961]
• 学习各种数学概念。作为一个自动化推理软件，我们可以建立动态逻辑…过去二十年，包括演绎的基法，吴氏法，面积法……角法。使用这些方法，用户可以自动化证明几何定理，发现新的定理。。。

• 德克提

• 引用19篇文章[sw13663]
• 演绎模：G.Dowek，Th.Hardin，C.Kirchner，定理证明模，杂志自动化推理。。。

• 圣杯

• 参考7篇文章[sw24229]
• 范畴逻辑的片段。圣杯是自动化基于证明网的定理证明器…基于图的证明表示，并标注演绎...

• 卡片

• 1条引用[sw01599]
• 卡片：自动化多模态演绎用于多应用程序安全的Java卡。我们描述…要执行的Java程序自动化 演绎在命题多模逻辑的Java智能。。。

• 罗望子

• 引用19篇文章[sw23438]
• 安全协议。罗望子校准仪支持自动化，无界的，安全协议的符号分析…模型和属性，以及对高效的支持演绎以及等式推理。我们提供一个概述。。。

• 基姆

• 1条引用[sw19608]
• 凯姆：一个工具箱自动化 演绎.KEIM是一个软件模块的集合，编写…用于实现自动化推理系统。KEIM是用来…那些想建造或使用的人演绎没有。。。

• 安得普

• 1条引用[sw29686]
• 自动化自然的演绎校准器和实验。本文介绍了用于实现的启发式方法和技术自动化自然的演绎prover（ANDP），自然演绎改编自Gentzen。。。