• 桌面

  • 17篇参考文献[SW11674]
  • 证明方法情态动词 逻辑学因为我们相信这个模型施工他们提供代表…
  • 斯特尔特

  • 10篇参考文献[SW0972]
  • 逻辑程序与情态动词算子(称为可拼接时态)逻辑程序),STELP获得…输入语言提供了一组建构允许时间的简单定义逻辑
  • 克里普克

  • 8篇参考文献[SW01162]
  • 情态动词S4是可判定的。这个定理在〔8〕中是等价的。每一个逻辑学描述递归的方式。建设从一个证明…
  • 榛子

  • 2篇参考文献[SW22659]
  • 这将迫使程序员建造术语以僵硬的“外”的方式…上下文的情态动词类型理论:语境的Curry Howard解释情态动词 逻辑. 最后,我们讨论…
  • 辅酶Q

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

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

  • 247篇参考文献[SW0509]
  • 在核心的计算机科学领域——数据结构…
  • MATLAB

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

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

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

  • 372篇参考文献[ SW01777 ]
  • WordNet®是一个大型的英语词汇数据库。