• QMT

  • 18篇参考文献[SW07137]
  • 查询语言正式数学图书馆一…
  • 西梅

  • 38篇参考文献[SW0970]
  • cIME是一个重写工具箱。分布自1996…
  • 佩帕

  • 113篇参考文献[SW10692]
  • PEPA:性能评价过程代数。PEPA工具:…
  • C4.5

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

  • 10篇参考文献[SW16255]
  • XTeX是一个开发程序的框架。
  • A3PAT

  • 7篇参考文献[SW21588]
  • A3PAT,一种用于认证的自动终止证明的方法…
  • github

  • 1088篇参考文献[SW23 170]
  • GITHUB(最初称为逻辑AHESMEL LLC)[ 3…