• ETPS公司

  • 在152篇文章中引用[sw06302]
  • 教育的定理 证明系统。前者是一个自动化的定理-一阶逻辑证明器。。。学生;它只包含与证明 定理互动的。TPS和ETP。。。
  • 测试程序集

  • 引用71篇文章[sw00973]
  • 教育的定理 证明系统。前者是一个自动化的定理-一阶逻辑证明器。。。学生;它只包含与证明 定理互动的。TPS和ETP。。。
  • 尼弗

  • 引用18条[sw06958号]
  • Loveland},“一个机器程序定理-证明“,公社。。。
  • 朱诺-2

  • 参考11篇文章[sw07216]
  • 广泛应用于自动化定理-证明在过去的二十年里。。。
  • 赫比

  • 参考6篇文章[sw21545]
  • 人工智能的有趣领域:自动化定理 证明. 尤其是关于。。。树是语义树定理-证明程序(语义树的理论基础)定理... 解题驳斥的理论基础定理-证明见第6章)。章。。。简要介绍另外两个自动化定理-证明程序,{it Gandalf}和{it Otter。。。
  • 笑话

  • 参考6篇文章[sw32377]
  • 所有的交互问题定理-证明如果你确定。。。Tcl/Tk到a定理-证明引擎;如果你相信按钮越多越好。。。
  • evt公司

  • 参考7篇文章[sw09805]
  • 基本上是一个经典的证明助手,或者定理-证明工具,需要用户干预。。。
  • 斯诺克

  • 引用4篇文章[sw19611]
  • 推理工具。SNARK是一种自动化的定理-证明程序正在开发中的通用Lisp。。。
  • 格罗弗

  • 引用2篇文章[sw09968]
  • 证据。&/格罗弗是个定理-证明将图表解释为证明策略的系统。图表。。。超出现有的定理-证明在没有这种指导的情况下运行的系统。在这个过程中。。。
  • 终结者

  • 引用3篇文章[sw06692]
  • 普通程序类,都是自动的证明终止和构造不终结的证人具有重要意义。。。理论计算机科学。许多传统的定理-证明分析终止的方法是基于preburger。。。
  • 简单

  • 引用3篇文章[sw06574]
  • 使用定理 证明为了验证代理程序的属性,我们提供了一个完整完整的。。。代理程序的活性特性。我们证明简单程序的操作语义之间的对应关系。。。简单代理程序使用定理-证明...
  • 章鱼

  • 引用2篇文章[sw10407]
  • 本文介绍章鱼,一个自动化的定理-证明结合学习和并行搜索的系统。。。
  • 绅士

  • 1条引用[sw33688]
  • 通过不同的定理-证明方法。在这篇文章中,我们试图证明。。。
  • ACL2

  • 引用274篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 公理

  • 在169篇文章中引用[sw00063]
  • 公理是一个通用的计算机代数系统。。。
  • 差距

  • 引用了2702篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 超小卫星

  • 引用521篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。