• 可可

  • 585篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

  • 1706篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 勒达

  • 247篇参考文献[SW0509]
  • 在核心的计算机科学领域——数据结构…
  • MATLAB

  • 11146篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • R

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

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

  • 390篇参考文献[SW01186]
  • 棱镜:概率符号模型检查器。在本文中…
  • CP网

  • 129篇参考文献[SW01374]
  • CP网(条件偏好网)是一种工具…
  • 卡洛

  • 22篇参考文献[SW0316]
  • 形式化潜力代理. 重新审视卡洛框架…
  • 库达

  • 1112篇参考文献[SW03258]
  • NVIDIA®CUDA®工具包提供了全面的发展…
  • UCI ML

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