• 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 少女

  • 29篇参考文献[SW0505]
  • 自相似性的局部分析-LASS工具…
  • 毫升

  • 498篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • CP网

  • 130篇参考文献[SW01374]
  • CP网(条件偏好网)是一种工具…
  • MPT

  • 202篇参考文献[ SW047 32 ]
  • 多参数工具箱(MPT)是一个免费的…
  • 阿加达

  • 171篇参考文献[SW0969]
  • AGDA是一种依赖类型的函数式编程语言。
  • 场所

  • 31篇参考文献[SW1248]
  • 地点:数学理论的模块系统。场所…