• 霍尔

• 472篇参考文献[SW054 92]
• 实现组合的平台演绎、执行和属性检查…

• 水獭

• 310篇参考文献[SW02904]
• 电流自动化演绎系统水獭的设计是为了证明一阶逻辑中所陈述的定理…第四代阿贡国家实验室演绎其祖先（追溯到20世纪60年代初）包括…

• Z

• 272篇参考文献[SW1091]
• 除了自然演绎微积分，见下文-仅介绍…博大精深的自然描写演绎微积分，它没有被进一步使用…

• 数据记录仪

• 275篇参考文献[ SW200 23 ]
• 通常用作查询语言演绎的数据库近年来，DATALOG发现…

• 电除尘器

• 152篇参考文献[SW06302]
• 各种学科的理论，演绎的信息系统为这些学科，专家系统…扩展证明，翻译成自然演绎证明，建构自然演绎证明，翻译自然演绎…TPS建设的互动设施演绎在名称下使用了证明…

• 特威尔

• 166篇参考文献[SW0688]
• 指定、实现和证明属性演绎的系统，如编程语言和逻辑。大号

• 埃兰

• 108篇参考文献[SW02179]
• 提供用于指定和原型的环境演绎基于规则的语言系统提供逻辑框架，其中演绎系统可以表达和组合…

• XSB

• 137篇参考文献[SW1387]
• 逻辑程序设计演绎的UNIX和Windows数据库系统XSB-PROLog.这是…

• WHY3

• 126篇参考文献[ SW044 38 ]
• WHY3是一个平台演绎的程序验证。它为规范提供了丰富的语言。

• TPS

• 71篇参考文献[SW0933]
• 各种学科的理论，演绎的信息系统为这些学科，专家系统…扩展证明，翻译成自然演绎证明，建构自然演绎证明，翻译自然演绎…

• 乐高

• 106篇参考文献[SW09685 ]
• 自然中的交互证明发展演绎风格它支持求精证明作为一个基本的…

• IMPS

• 49篇参考文献[SW09143]
• 促进人类控制的步骤演绎的过程和人类理解的结果…

• 高阶逻辑

• 45篇参考文献[ SW01580]
• 高阶和模块化逻辑程序设计演绎的数据库

• MPTP 0.2

• 43篇参考文献[SW02589]
• 表明，即使是简单的归纳或演绎的系统训练正式数学…

• 精灵

• 43篇参考文献[SW21361]
• 计算课程笔记演绎尚未公开的。那里…

• 马尔萨斯

• 42篇参考文献[SW1078]
• 推理是一个简单的元系统迭代组合。演绎的自动推理工具…

• 凯玛拉

• 38篇参考文献[SW03709]
• 混合系统的验证工具演绎的实代数和计算机代数证明器技术…

• 步骤

• 36篇参考文献[SW17948 ]
• 状态系统，但将模型检查与演绎的方法允许验证…

• 流浪汉

• 20篇参考文献[SW21343]
• 机器发现证据转化为自然演绎断言级别的证明。流浪汉…一阶等价自然逻辑演绎断言级别的证明。通过这个…如证据展示系统或交互式演绎系统可以访问最初产生的证据…

• GEX

• 32篇参考文献[SW09961]
• 过去二十年，包括演绎的基本方法、吴方法、面积法…