• Gap

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

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

  • 518篇参考文献[SW0611]
  • 图论程序NUTYY:NUTY是一个程序…
  • R

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

  • 70篇参考文献[SW01165]
  • APL(以书命名)一种编程语言…
  • ADA95

  • 128篇参考文献[SW01753]
  • 艾达是结构化的,静态类型的,命令式的,宽的…
  • 短片

  • 71篇参考文献[SW079002]
  • 剪辑-一个强大的开发和交付专家系统…
  • 阿尔夫

  • 66篇参考文献[SW08603]
  • 阿尔夫的实现——一个基于证明编辑器的…
  • GF

  • 32篇参考文献[SW13667 ]
  • 语法框架。类型理论语法形式主义. 语法的…