• 嵌入模式

  • 引用3篇文章[sw28304]
  • 算法嵌入问题较高的-秩序 情态动词 逻辑进入古典较高的-秩序 逻辑... 将相容定理证明转化为各种情态动词 逻辑学. 混凝土的选择情态动词...
  • 歌德神

  • 参考7篇文章[sw32223]
  • 情态动词 逻辑KB(QML KB)。QML-KB被建模为经典的片段较高的...秩序 逻辑(霍尔);因此,形式化本质上是一种形式化。。。
  • 甲醛

  • 引用3篇文章[sw21539]
  • 第一个-秩序 情态动词 逻辑学(FMLs)可以被建模为经典的自然片段较高的-秩序...
  • 辛提卡的世界

  • 1条引用[sw31988号]
  • 显示智能人工智能体较高的-秩序知识(a知道b知道。。。工具可用于:学习情态动词 逻辑模型检验与可满足性问题;学习模型。。。
  • 达夫尼

  • 引用66篇文章[sw00183]
  • Dafny是一种命令式的基于对象的语言。。。
  • 差距

  • 在2974篇文章中引用[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 数学软件

  • 引用6090篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 超小卫星

  • 引用547篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 濑户

  • 引用120篇文章[sw00707]
  • SETHEO:一个高性能的定理证明器。报纸。。。
  • R

  • 参考8836篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 单数

  • 在1441篇文章中引用[sw00866]
  • 奇异是一个计算机代数系统(CAS)为。。。
  • 自动

  • 引用903篇文章[sw01059]
  • AUTO是一个连续和分叉的软件。。。