• 辅酶Q

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

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

  • 517篇参考文献[ SW044 48 ]
  • LIDO系统-优化软件:整数规划,线性规划…
  • 箴言9

  • 166篇参考文献[SW0496]
  • PROVR9和MACE4:PROVR9是一个自动化的定理…
  • 557篇参考文献[SW06916]
  • 箔条:设计一种高效的SAT求解器。布尔可满足性…
  • 65篇参考文献[ SW08333 ]
  • 汞是一种逻辑/功能的编程语言,它结合了…
  • 咖喱

  • 41篇参考文献[ SW08981]
  • Curry:一个真正实用的逻辑语言。功能性和…
  • DPPD

  • 14篇参考文献[SW0984]
  • DPPD(数十个问题)部分的 演绎
  • Z-树

  • 543篇参考文献[SW11707]
  • Z-树:苏黎世工具箱现成的经济…
  • C4.5

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