• 霍尔灯

  • 273篇参考文献[SW0680]
  • 交互式证明助手古典 较高的-排序 逻辑,旨在作为一个干净和简化的版本…
  • 利奥三世

  • 8篇参考文献[SW18516]
  • 基于代理的演绎系统古典 较高的-排序 逻辑被开发出来。Leo III结合…表达的非理性的本土支持古典 逻辑学
  • AutoO2

  • 6篇参考文献[SW17595]
  • 定理证明器古典 较高的-排序 逻辑命名为AutoO2。证明人的目的是使…
  • 氟醇

  • 3篇参考文献[SW21539 ]
  • 被建模为自然碎片古典 较高的-排序 逻辑(HOL)。FMLToHOL工具利用这个…
  • 嵌入模态

  • 1篇参考文献[SW28 304]
  • 较高的-排序情态动词逻辑进入之内古典 较高的-排序 逻辑. 程序实施…
  • 拉尔

  • 9篇参考文献[SW08505]
  • 异质关系代数的语言包括较高的-排序运算符和域结构,并检查…关系代数与谓词符合逻辑的公式,依赖于古典原子的普遍代数概念…
  • 次协调性

  • 1篇参考文献[SW28 72]
  • 古典 逻辑学2005)。我们把自己限制在命题的片段中。较高的-排序 逻辑
  • 辅酶Q

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

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

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

  • 48篇参考文献[SW0622]
  • NITPICK是伊莎贝尔/霍尔的反例发生器。
  • 塞西奥

  • 114篇参考文献[SW0707]
  • SESEO:一个高性能的定理证明器。论文…
  • R

  • 7083篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • 减少

  • 720篇参考文献[SW0789]
  • Read是一个通用代数的交互系统。