• TPS

  • 70篇参考文献[SW0933]
  • 自动定理证明器第一-排序逻辑与类型理论。后者…学生;它只包含相关的命令证明交互定理。TPS和ETPS…在Windows下。自动定理的潜在应用证明包括硬件和软件验证,部分自动化…用于证明定理第一-和较高的-排序逻辑交互,自动…
  • 电除尘器

  • 151篇参考文献[SW06302]
  • 自动定理证明器第一-排序逻辑与类型理论。后者…学生;它只包含相关的命令证明交互定理。TPS和ETPS…在Windows下。自动定理的潜在应用证明包括硬件和软件验证,部分自动化…用于证明定理第一-和较高的-排序逻辑交互,自动…
  • 雅典娜

  • 10篇参考文献[SW09667 ]
  • 编程语言,自由神弥涅尔瓦是较高的-排序传统语言中的功能语言…证明系统,雅典娜是基于许多排序第一-排序逻辑。许多排序的第一Maria Manzano的“延伸”第一-排序逻辑“”认为…统一所有其他逻辑的框架,包括较高的-排序逻辑。它保持可追踪性…
  • Knuth Bendix指令

  • 2篇参考文献[ SW28 584]
  • 订单较高的-排序没有lambda抽象的术语证明许多有用的特性…第一-排序条款它似乎是一个有希望的基础。较高的-排序
  • 无λrPOS

  • 2篇参考文献[SW28 792]
  • (RPOs)较高的-排序没有lambda抽象的术语证明许多有用的特性…主要排序完全符合标准的RPO第一-排序术语也…看来是有希望的较高的-排序叠加演算…
  • 辅酶Q

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

  • 23篇参考文献[SWO4437 ]
  • 直觉逻辑定理证明(ILTP)图书馆提供…
  • MATLAB

  • 11180篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 超小卫星

  • 516篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • 挑剔

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

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

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

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