• 逻辑学探险家

• 1篇参考文献[SW06603]
• 用于探索有限的MAPLE软件包许多的-宝贵的命题的逻辑学像……这样的大型计算机代数系统…长期工作许多的-宝贵的 逻辑学我们相信一个灵活的…任何现有或提议的属性许多的-宝贵的 逻辑用任何表示真理的符号…

• 次协调性

• 1篇参考文献[SW28 72]
• 遵循一个不一致的理论。次协调的逻辑避免爆炸。相当多的应用…斯普林格2016）。我们将一个协调一致的形式化。许多的-宝贵的 逻辑我们的动机和描述…

• 康克斯

• 2篇参考文献[SW06223 ]
• 分析是一种有用的工具符合逻辑的数据集的含义，分析地下…关系可以看作是许多的-宝贵的语境。{ J. Hereth }在[LeCT中]。笔记

• 辅酶Q

• 1739篇参考文献[SW0161]
• COQ是一种形式化的证明管理系统。IT

• 科斯塔

• 23篇参考文献[SW0162]
• 科斯塔是一个研究原型，执行自动…

• 伊莎贝尔

• 591篇参考文献[SW044]
• 伊莎贝尔是一个通用的证明助手。它允许…

• 凯伊

• 5篇参考文献[SW0466]
• 我们提出KEY-C，一个演绎工具…

• 枫树

• 4879篇参考文献[SW0545 ]
• 30年以上的切割结果。

• MATLAB

• 11343篇参考文献[SW0568]
• Matlab®是一种高级语言和交互式…

• 挑剔

• 54篇参考文献[SW0622]
• NITPICK是伊莎贝尔/霍尔的反例发生器。

• 塞西奥

• 119篇参考文献[SW0707]
• SESEO：一个高性能的定理证明器。论文…

• TPS

• 71篇参考文献[SW0933]
• TPS和ETPS分别是定理证明…

• 马赛玛

• 714篇参考文献[ SW0120 9]
• MySyMA是一个通用的符号数值图形。

• 伊莎贝尔/霍尔

• 916篇参考文献[SW01569]
• 伊莎贝尔是一个通用的证明助手。它允许…

• CASL

• 170篇参考文献[SW02265]
• 由COFI开发的规范语言称为…

• SCTL—MUS

• 8篇参考文献[SW02245]
• SCTL MU:软件开发的一种形式化方法

• 枸杞

• 14篇参考文献[ SW028 88 ]
• 枸杞的最终目标（机械化演绎）

• 水獭

• 310篇参考文献[SW02904]
• 我们目前的自动扣除系统水獭设计…

• 库达

• 1118篇参考文献[SW03258]
• NVIDIA®CUDA®工具包提供了全面的发展…

• PVS

• 600篇参考文献[SW0384]
• PVS是一种验证系统。