• 逻辑学探险家

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

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

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

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

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

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

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

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

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

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

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

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

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