• LWB公司

  • 引用3篇文章[sw01820]
  • 命题模态和其他的证明者非经典 逻辑学. 他们工作的副作用。。。
  • 数学软件

  • 引用6075篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 减少

  • 引用741篇文章[sw00789]
  • REDUCE是一个通用代数的交互系统。。。
  • 吸血鬼

  • 引用239篇文章[sw02918]
  • 吸血鬼8.0,[RV02,Vor05]是一个自动定理。。。
  • THF0型

  • 在14篇文章中引用[sw03310]
  • THF0是一个句法保守的扩展。。。
  • TPTP

  • 引用381篇文章[sw04143]
  • TPTP(成千上万的定理证明问题。。。
  • 叮当声

  • 引用63篇文章[sw04581]
  • 普林克是一个免费的,开源的全基因组。。。
  • 莫纳

  • 引用127篇文章[sw06170]
  • MONA实现秘密。MONA工具提供了一个。。。
  • 莫德

  • 引用672篇文章[sw06233]
  • Maude是一种高性能的反思性语言。。。