• 霍尔灯

  • 引用299篇文章[sw06580]
  • 交互式校对助手古典的 较高的-秩序 逻辑,作为一个简洁的版本。。。
  • 利奥三世

  • 引用15篇文章[sw18516]
  • 基于agent的推理系统古典的 较高的-秩序 逻辑已开发。利奥三世组合。。。表达性非语言推理的原生支持-古典的 逻辑学...
  • 自动2

  • 参考6篇文章【sw17595】
  • 定理证明器古典的 较高的-秩序 逻辑命名为auto2。校准器的设计目的是。。。
  • 歌德神

  • 参考7篇文章[sw32223]
  • 模型化为古典的 较高的-秩序 逻辑(霍尔);因此,形式化本质上是。。。
  • 嵌入模式

  • 引用3篇文章[sw28304]
  • 较高的-秩序情态动词逻辑进入之内古典的 较高的-秩序 逻辑. 程序已经实施。。。
  • 甲醛

  • 引用3篇文章[sw21539]
  • 模拟为自然碎片古典的 较高的-秩序 逻辑(霍尔)。fmltool工具利用了这个。。。
  • 拉尔

  • 引用9篇文章[sw08505]
  • 异构关系代数语言包括较高的-秩序运算符和域构造,以及检查。。。关系代数与谓词-符合逻辑的公式,依赖于古典的原子的普遍代数概念。。。
  • 副稠度

  • 1条引用[sw28572]
  • 古典的 逻辑学2005年)。我们仅限于较高的-秩序 逻辑...
  • 辛提卡的世界

  • 1条引用[sw31988号]
  • 显示智能人工智能体较高的-秩序知识(a知道b知道。。。点击它们。它包含许多古典的人工智能示例。这是对Jaakko的敬意。。。工具可用于:学习模式逻辑模型检验与可满足性问题;学习模型。。。
  • ACL2

  • 引用279篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 达夫尼

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

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

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