• MML

  • 47篇参考文献[SW06970]
  • 授权MIZAR数学库(MML)。Mizar…
  • 醪液

  • 18篇参考文献[SW08206]
  • 机器学习:大锤的机器学习。大锤集成自动…
  • ANFIS

  • 250篇参考文献[ SW0830]
  • ANFIS:基于自适应网络的模糊推理系统。这个。。。
  • 帕伽索斯

  • 76篇参考文献[SW0872]
  • Pegasos:支持向量机的原始估计梯度梯度解算器…
  • 蝇斑

  • 102篇参考文献[SW1027 7]
  • 传达形式证明:FiSSPECK的例子。我们
  • 博斯特

  • 14篇参考文献[SW16818]
  • BliStr:盲目的战略制定者。博斯特是一个系统…
  • JBOSS

  • 49篇参考文献[SW21835]
  • JBASE®企业应用平台7提供了一个创新的…