• 水獭

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

• 马拉雷亚

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

• ETPS公司

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

• 可悲的

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

• 原因3

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

• 口吃

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

• 测试程序集

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

• 赫比

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

• mkbTT公司

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

• 凯玛拉

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

• 流浪汉

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

• F*

• 引用了20篇文章[sw27563]
• 把自动化支持SMT演绎的具有表达能力的验证工具。。。

• 数据中心

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

• GEX公司

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

• 德克提

• 引用19篇文章[sw13663]
• 演绎模：G。多韦克，Th。哈丁，C。Kirchner，定理证明模，杂志自动化推理。。。

• 圣杯

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

• 卡片

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

• 基姆

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

• 安得普

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

• 罗望子

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