• 水獭

• 301篇参考文献[SW02904]
• 现在的自动化的 演绎系统水獭的设计是为了证明一阶逻辑中所陈述的定理…

• 马尔萨斯

• 41篇参考文献[SW1078]
• 简单元系统迭代组合演绎的 自动化的推理工具（现在的E和SPASS…

• 电除尘器

• 149篇参考文献[SW06302]
• 证明包括硬件和软件验证，部分自动化各种数学活动，促进发展…各种学科的理论，演绎的信息系统为这些学科，专家系统…

• 悲伤的

• 14篇参考文献[SW0996]
• 系统自动化的 演绎（SAD）：证明验证工具。本文证明了…

• WHY3

• 120篇参考文献[ SW044 38 ]
• WHY3是一个平台演绎的程序验证。它为规范提供了丰富的语言。依赖于外部定理证明者自动化的与交互、放电验证条件。WH3来了…

• TPS

• 68篇参考文献[SW0933]
• 证明包括硬件和软件验证，部分自动化各种数学活动，促进发展…各种学科的理论，演绎的信息系统为这些学科，专家系统…

• GAPT

• 6篇参考文献[SW22200 ]
• 证明理论中常见的成分自动化的 演绎. 与…对比自动化的和交互定理…

• 埃尔比

• 6篇参考文献[SW21545 ]
• 参加了会议自动化的 演绎比赛。源鳕鱼进化了…

• MKBTT

• 5篇参考文献[SW10018]
• 完成是一个经典的演算。自动化的 演绎将一组方程转化为…

• 凯玛拉

• 34篇参考文献[SW03709]
• 组合演绎的实代数和计算机代数证明器技术。这是一个自动化的和互动…

• 流浪汉

• 19篇参考文献[SW21343]
• 几个自动化的一类等价于自然的一阶逻辑的定理证明演绎证明…

• F*

• 18篇参考文献[SW27 563]
• 放在一起自动化支持SMT的演绎的具有表现力的验证工具…

• 数据传输协议

• 3篇参考文献[SW26325]
• 系统DATAC是要做的自动化的 演绎在一阶逻辑中具有相等性。它的特殊性…

• 圣杯

• 7篇参考文献[SW24229 ]
• 范畴逻辑的片段。圣杯是一种自动化的基于证明网的定理证明器…基于图的证明和标记的表示演绎…

• GEX

• 31篇参考文献[SW09961]
• 学习各种数学概念。作为一个自动化的推理软件，我们可以建立动态逻辑…过去二十年，包括演绎的基本方法、吴方法、面积法…角度法。通过这些方法，用户可以自动化的证明几何定理，发现新的性质…

• 卡特克

• 1篇参考文献[SW01599 ]
• CardKt：自动化的多模态演绎基于Java的多应用程序安全卡。我们描述…Java程序执行自动化的 演绎在JAVA Smart的命题多模态逻辑中…

• 凯姆

• 1篇参考文献[SW1960]
• Keim:一个工具包自动化的 演绎. KEIM是一个软件模块的集合，写…用于实现自动化的推理系统。凯姆打算用…想要建造或使用的人演绎没有……的系统（如分辨率定理证明器）

• 德杜克蒂

• 13篇参考文献[SW13663]
• 演绎Modulo：G. Dowek，T.哈丁，C. Kirchner，定理证明模，学报自动化的推理。。。

• 安德普

• 1篇参考文献[SW29 66]
• 自动化的自然演绎证明器和实验。本文提出了启发式算法和技术。用于实现自动化的自然演绎证明者（ANP），自然演绎改编自Gentzen…

• 惠米尔

• 24篇参考文献[SW09709]
• 现在WHY3，一个工具演绎的程序验证，WHYML，其编程和规范语言…WHY3在各种现有的帮助下自动化的和交互式定理证明器。为了保持验证…