• 可可

  • 595篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

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

  • 11343篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • CP网

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

  • 100篇参考文献[SW06186]
  • 代理语言是一种面向Agent的程序设计语言。IT
  • 杰森

  • 61篇参考文献[SW06187]
  • 使用杰森编程AgtToice中的多智能体系统…
  • github

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