• UCI毫升

  • 引用2918篇文章[sw04074]
  • 加州大学欧文机器学习知识库。我们目前维持。。。
  • TPTP

  • 参考文献368篇[sw04143]
  • TPTP(成千上万的定理证明问题。。。
  • 球状图

  • 引用8篇文章[sw06213]
  • 球状图:探索球状和紊乱的蛋白质序列。。。
  • 萨奇摩

  • 引用96篇文章[sw06619]
  • SATCHMO:一个用Prolog实现的定理证明程序。这个。。。
  • 参考文献561篇[sw06916]
  • Chaff:设计一个高效的SAT解算器。布尔可满足性。。。
  • 卡玛

  • 引用4篇文章[sw07285]
  • 卡玛:一个多重的-宝贵的满足解算器本文。。。
  • 数量

  • 在146篇文章中引用[sw07543]
  • 计算逻辑手册。这本书是。。。
  • 魔术

  • 参考12篇文章[sw11872]
  • 魔力:蕴涵连接词的矩阵生成器。程序。。。
  • 配对

  • 在10篇文章中引用[sw11873]
  • MaTest是一个符合逻辑的矩阵测试仪,一个有用的。。。
  • C4.5款

  • 在1097篇文章中引用[sw12176]
  • C4.5:机器学习程序。(C4.5已经。。。
  • 恩德

  • 在14篇文章中引用[sw12831]
  • ENDER-一个提升决策规则的统计框架。。。
  • 罗恩

  • 参考7篇文章[sw16909]
  • 罗恩:生物基函数神经网络技术。。。