• 瓦尔帕诺史密斯

  • 1篇参考文献[SW29 53]
  • 值不能泄漏到公共端口。这个证明定义抽象语法和操作语义…归纳操作语义学。在数学上最复杂的部分是治疗。隐性的
  • Gap

  • 2586篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • 岩浆

  • 2602篇参考文献[SW0540]
  • 计算机代数系统(CAS)。岩浆是巨大的…
  • MATLAB

  • 11158篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 超小卫星

  • 516篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • CASL

  • 168篇参考文献[SW02265]
  • 由COFI开发的规范语言称为…