• 极小值

  • 44篇参考文献[SW29 625]
  • 基于系统的类型系统直觉主义的 情态动词 逻辑 S4提供了一个表达框架,用于指定…
  • 辅酶Q

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

  • 11146篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 模特儿

  • 18篇参考文献[SW12368]
  • MODLANTAP:基于精益表的命题演绎情态动词
  • 精灵

  • 42篇参考文献[SW21361]
  • 精灵的元语言。精灵是一种约束…