• 圣哲

  • 在1507篇文章中引用[sw00825]
  • Sage(SageMath)是免费的,开源的数学软件。。。
  • 林多

  • 引用529篇文章[sw04448]
  • 林多系统优化软件:整数规划,线性规划。。。
  • 佐藤

  • 引用195篇文章[sw04451]
  • 佐藤:命题满意度的求解者:戴维斯。。。
  • Isar

  • 引用138篇文章[sw04599]
  • 定理证明系统支持交互式证明开发。。。
  • 烟雾

  • 引用238篇文章[sw04631]
  • Smodels系统是一个答案集编程。。。
  • 验证9

  • 参考171篇文章[sw04969]
  • Prover9和Mace4:Prover9是一个自动定理。。。
  • 参考文献561篇[sw06916]
  • 高效的工程解决方案。布尔可满足性。。。
  • 水银

  • 引用了65篇文章[sw08333]
  • Mercury是一种逻辑/函数式编程语言,它结合了。。。
  • 咖喱

  • 引用42篇文章[sw08981]
  • 库里:一种真正的函数逻辑语言。功能和。。。
  • Z-树

  • 引用558篇文章[sw11707]
  • Z-Tree:苏黎世现成经济工具箱。。。
  • C4.5款

  • 第1096条引用[sw12176]
  • C4.5:机器学习程序。(C4.5已经。。。