• 里奥纳

  • 9篇参考文献[SW30227 ]
  • 规则归纳法实例-基于学习本文描述了一个方法结合两种广泛使用的…从实例中学习:规则归纳实例-基于学习在我们的算法(RiONA)决策中…
  • 水獭

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

  • 2799篇参考文献[SW04074]
  • 加州大学欧文分校机器学习仓库。我们目前维持…
  • TPTP

  • 363篇参考文献[SW04143]
  • TPTP(成千上万的定理证明问题)
  • KKNN

  • 11篇参考文献[SW0463]
  • R包KKNN:加权k近邻,加权…
  • 萨奇莫

  • 95篇参考文献[SW0619]
  • StCHIMO:Prolog中实现的一个定理证明器。这个。。。
  • 多语种

  • 33篇参考文献[SW09420]
  • Multilisp:一种用于并发符号计算的语言。MultLISP…