• 逻辑浏览器

• 1条引用[sw06603]
• Maple软件包许多的-宝贵的命题的逻辑学像大代数系统。。。与许多的-宝贵的 逻辑学我们相信一个灵活的。。。在任何现有或拟建的许多的-宝贵的 逻辑任何关于真相的记号。。。

• 副稠度

• 1条引用[sw28572]
• 来自一个不一致的理论。次一致的逻辑避免爆炸。相当多的应用程序。。。斯普林格2016）。我们形式化了一个次一致许多的-宝贵的 逻辑我们的动机和描述。。。

• 康涅普

• 参考第2条[sw06723]
• 分析是表示符合逻辑的数据集的含义，分析地下。。。关系可以看作是许多的-宝贵的上下文。{it J.Hereth}在[选择]。笔记。。。

• 可口可乐

• 在1784篇文章中引用[sw00161]
• Coq是一个正式的证据管理系统。它。。。

• 科斯塔

• 引用23条[sw00162]
• 科斯塔是一个研究原型，执行自动。。。

• 伊莎贝尔

• 在606篇文章中引用[SW004号]
• 伊莎贝尔是一个普通的校对助理。它允许。。。

• 钥匙-C

• 引用5篇文章[sw00486]
• 我们介绍了一个演绎工具KeY-C。。。

• 枫木

• 引用5040篇文章[sw00545]
• 经过30多年的切割。。。

• Matlab语言

• 参考12074篇文章[sw00558]
• MATLAB®是一种高级语言和交互式。。。

• 吹毛求疵

• 参考61篇文章[sw00622]
• 挑剔是伊莎贝尔/霍尔的反例生成器。。。

• 濑户

• 引用了119篇文章[sw00707]
• SETHEO：一个高性能的定理证明器。报纸。。。

• 测试程序集

• 引用71篇文章[sw00973]
• TPS和ETPS分别是证明。。。

• 麦克西马

• 引用716篇文章[sw01209]
• Macsyma是一个通用的符号数字图形。。。

• 伊莎贝尔/霍尔

• 在945篇文章中引用[SW019号文件]
• 伊莎贝尔是一个普通的校对助理。它允许。。。

• 木桶

• 引用172篇文章[sw02235]
• CoFI开发的规范语言叫做。。。

• SCTL-MUS公司

• 引用8篇文章[sw02245]
• SCTL-MUS：一种正式的软件开发方法。。。

• 枸杞

• 在14篇文章中引用[sw02888]
• 枸杞的最终目标（机械化推导。。。

• 水獭

• 引用313篇文章[sw02904]
• 自动推理系统是我们目前设计的。。。

• 库达

• 引用1185篇文章[sw03258]
• NVIDIA®CUDA®工具箱提供全面的开发。。。

• PVS公司

• 参考文献614篇[sw03484]
• PVS是一个验证系统：也就是说，一个。。。