• 电除尘器

  • 151篇参考文献[SW06302]
  • 证明系统前者是自动化的 定理-一阶逻辑和类型的证明器…只包含相关的命令证明 定理 交互地. TPS和ETPS在公共LISP中运行…在Windows下的某种程度上。潜在应用自动化的 定理 证明包括硬件和软件验证…
  • TPS

  • 70篇参考文献[SW0933]
  • 证明系统前者是自动化的 定理-一阶逻辑和类型的证明器…只包含相关的命令证明 定理 交互地. TPS和ETPS在公共LISP中运行…在Windows下的某种程度上。潜在应用自动化的 定理 证明包括硬件和软件验证…
  • 辅酶Q

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

  • 2586篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • 超小卫星

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

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

  • 312篇参考文献[SW02904]
  • 我们的电流自动化的设计了水獭演绎系统。
  • PVS

  • 598篇参考文献[SW0384]
  • PVS是一种验证系统。
  • TPTP

  • 364篇参考文献[SW04143]
  • TPTP(数以千计的问题)定理进步者…