• 伊莎贝尔/UTP

  • 10篇参考文献[SW21184]
  • 研究框架,形式化,和统一形式语义学的我们的贡献首先是…支持字母的谓词-符合逻辑的价值观的基本概念是参数化的推理…
  • 努普尔灯

  • 1篇参考文献[SW31982 ]
  • 相反,NUPRL光提供了-框架在哪里符合逻辑的框架,如LF,Nuprl…定理证明中的关键部分逻辑学实施框架紧密相连…NUPRL光使用广义HORN子句符合逻辑的规格事实上,NUPRL灯的规格出现…像LF,NUPRL轻-逻辑也依赖于判断——AS类型的原则…
  • 辅酶Q

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

  • 350篇参考文献[SW04143]
  • TPTP(成千上万的定理证明问题)
  • 阿尔夫

  • 65篇参考文献[SW08603]
  • 阿尔夫的实现——一个基于证明编辑器的…