• 挑剔

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

  • 7170篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • TPS

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

  • 128篇参考文献[SW01753]
  • 艾达是结构化的,静态类型的,命令式的,宽的…
  • 果洛

  • 166篇参考文献[SW02159]
  • GOOG: A逻辑动态领域的编程语言…
  • TPTP

  • 350篇参考文献[SW04143]
  • TPTP(成千上万的定理证明问题)
  • C4.5

  • 1077篇参考文献[SW12176]
  • C4.5:机器学习程序。(C4.5已经…