• 林多

  • 引用文献532篇[sw04448]
  • 林多系统优化软件:整数规划,线性规划。。。
  • 规格#

  • 引用了119篇文章[sw04598]
  • 规范编程系统是一种新的尝试。。。
  • 烟雾

  • 第238条引用[sw04631]
  • Smodels系统是一个答案集编程。。。
  • 基诺科普

  • 在1075篇文章中引用[sw04707]
  • Genocop,由Zbigniew Michalewicz,是一个遗传算法。。。
  • 证明力

  • 在56篇文章中引用[sw06339]
  • ProofPower是一个规范证明基于工具。。。
  • 低成本

  • 在157篇文章中引用[sw08360]
  • 爱丁堡LCF。一种机械化的计算逻辑。从。。。
  • 阿格达

  • 引用176篇文章[sw09689]
  • Agda是一种独立类型的函数式编程语言。。。
  • Z

  • 引用274篇文章[sw10291]
  • 使用Z.规范、细化和证明. 这本书。。。
  • 团结

  • 引用了173篇文章[sw13461]
  • 统一仿真模型开发与分析。我们。。。