• 电除尘器

  • 150篇参考文献[SW06302]
  • 教育定理 证明系统前者是自动的。定理证明一阶逻辑…学生;它只包含相关的命令证明 定理交互地。TPS和ETPS…
  • TPS

  • 69篇参考文献[SW0933]
  • 教育定理 证明系统前者是自动的。定理证明一阶逻辑…学生;它只包含相关的命令证明 定理交互地。TPS和ETPS…
  • 尼弗

  • 17篇参考文献[SW06958]
  • LoVald},“一个机器程序定理-证明“……
  • Jun-2

  • 11篇参考文献[SW07216]
  • 在自动化中得到广泛应用定理-证明社区在过去的二十年里…
  • 埃尔比

  • 6篇参考文献[SW21545 ]
  • 人工智能中的有趣领域:自动化定理 证明. 特别是关于…HelBy是语义树定理-证明程序(语义树的理论基础)定理归结反驳的理论基础定理-证明在第6章中给出。章。。。简要检查另外两个自动化系统定理-证明程序,{灰衣甘道夫}和{水獭…
  • EVT

  • 6篇参考文献[SW09805]
  • 本质上是古典证明助理,或定理-证明工具,需要用户干预…
  • 斯纳克

  • 4篇参考文献[SW19611]
  • 推理工具包。SNARK是自动化的定理-证明程序正在开发的公共LISP…
  • 格罗弗

  • 2篇参考文献[ SW099 68 ]
  • 证明。& GROVER是定理-证明将图表解释为证明策略的系统。图表…超出现有的范围定理-证明没有这种指导的系统。在这个过程中…
  • 终止符

  • 3篇参考文献[SW0692]
  • 常规程序的类,都是自动的证明终止和构建不可终止的证人是重要的…理论计算机科学许多传统定理-证明分析终止的方法是基于PrimBurg…
  • SimuleAPL

  • 3篇参考文献[SW0674]
  • 使用定理 证明为了验证代理程序的属性,我们提出了一个完整的…代理程序的活动性。我们证明SimeEAPL的操作语义之间的对应关系…简单代理程序的使用定理-证明
  • 章鱼

  • 2篇参考文献[SW10407]
  • 本文介绍了一种自动化的章鱼。定理-证明系统结合学习和并行搜索…
  • 辅酶Q

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

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

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

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