• QMLTP

  • 7篇参考文献[SW0915]
  • 测试评估平台自动化的 定理 证明一阶模态逻辑(ATP)系统…
  • 小豆

  • 7篇参考文献[SW1248]
  • 我们描述了应用到自动化的 定理 证明,可以看到…
  • NQTHM

  • 142篇参考文献[SW075 43]
  • 逻辑在他们的“元功能”中被完全描述:证明他们正确和有效地使用它们…计算逻辑及其应用定理证明者”自动操作系统. 推理4,2,117-172(1988)]。然而。。。
  • 低周疲劳寿命

  • 153篇参考文献[SW08360]
  • 谁在哪里?自动化的推理是多样而深刻的。发明LCF方法定理 证明,但他还设计了ML编程语言…
  • 深度数学

  • 6篇参考文献[SW27 551 ]
  • 前提选择的序列模型自动化的 定理 证明其中一个主要瓶颈…
  • 温克尔克

  • 5篇参考文献[SW0854]
  • 变换,二次曲线,参数曲线,流量控制,自动化的 定理 证明等GCLC背后的基本理念…
  • 德杜克蒂

  • 13篇参考文献[SW13663]
  • 哈丁,C. Kirchner,定理 证明模数自动化的推理。。。
  • FOL拟合

  • 4篇参考文献[SW28 611]
  • “一阶逻辑”与“一阶逻辑”自动化的 定理 证明“。形式化涵盖了第一个语法。
  • MPTP 0.2

  • 42篇参考文献[SW02589]
  • MIZAR问题的版本定理 证明(MPTP)系统和首次获得的实验结果…可用于当前一阶自动化的 定理提升者(ATPS)(反之亦然)已经完成。关于每第五个非算术定理证明在完全自主模式下…
  • ASASP

  • 3篇参考文献[SW06350]
  • Satisfiability Modulo理论求解自动化的 定理 证明. ASASP已成功地应用于…
  • 普赛克

  • 3篇参考文献[SW28 518]
  • 发动机设计为交互式或自动化的 定理 证明并瞄准两件事…
  • 转移

  • 22篇参考文献[SW21009]
  • 建立一个运营的图书馆定理关于抽象的类型,但是他们想要…商包取得了很大进展。自动化但是它仍然有很多技术限制…软件包:传输包证明 定理和用于定义常数的提升包…更多的情况下,更人性化自动化
  • 举起

  • 22篇参考文献[SW21010]
  • 建立一个运营的图书馆定理关于抽象的类型,但是他们想要…商包取得了很大进展。自动化但是它仍然有很多技术限制…软件包:传输包证明 定理和用于定义常数的提升包…更多的情况下,更人性化自动化
  • 纳普什

  • 10篇参考文献[SW28 307]
  • 假设和结论。最后,自动化的 定理使用前缀证明正确性…
  • 斯纳克

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

  • 2篇参考文献[SW09242]
  • 领域的难点自动化的 定理 证明. 在本文中,我们提供…
  • 二氯四环素

  • 21篇参考文献[SW06221]
  • 微积分定理证明者DCTP是一个自动化的 定理一阶子句逻辑的证明器。鉴于。。。TPTP语法,DCTP将尝试证明输入公式的不可满足性…
  • MMP/GEMS

  • 13篇参考文献[SW0584]
  • 自动化包括几何学在内的一些基本几何活动定理 证明几何定理发现…只有证明难几何定理但也发现新的定理生成简短易读的…动态几何的思想与方法自动化的图表生成…
  • 科克拉姆

  • 2篇参考文献[SW28 719]
  • 提出一个自动化共感的定理 证明. 自动化是基于这个想法…关注共诱导的应用证明一个小程序的等价性…成功地测试了一系列定理
  • 蟾蜍

  • 3篇参考文献[SW1268]
  • 符号有限状态方法自动化的 证明属于定理在组合博弈论中。我们开发…