• 毫升

  • 490篇参考文献[SW01218]
  • 语言,例如在编译器编写中,自动化的 定理 证明形式化验证。(维基百科…
  • TPTP

  • 341篇参考文献[SW04143]
  • 试题库自动化的 定理 证明(ATP)系统。TPTP提供…
  • 电除尘器

  • 149篇参考文献[SW06302]
  • 教育定理 证明系统前者是自动化的 定理证明一阶逻辑…只包含相关的命令证明 定理交互地。TPS和ETPS在公共LISP中运行…在Windows下扩展。潜在应用自动化的 定理 证明包括硬件和软件验证,部分…智力。TPS可用于证明 定理第一和高阶逻辑交互地…
  • TPS

  • 68篇参考文献[SW0933]
  • 教育定理 证明系统前者是自动化的 定理证明一阶逻辑…只包含相关的命令证明 定理交互地。TPS和ETPS在公共LISP中运行…在Windows下扩展。潜在应用自动化的 定理 证明包括硬件和软件验证,部分…智力。TPS可用于证明 定理第一和高阶逻辑交互地…
  • 水獭

  • 301篇参考文献[SW02904]
  • 现在的自动化的扣除系统水獭设计证明 定理用一阶逻辑表示…
  • 戴康

  • 41篇参考文献[SW04319]
  • 案例,预测组件集成中的不兼容性,自动化 定理 证明修复不一致的数据结构,检查…
  • 逆合成孔径雷达

  • 134篇参考文献[SW04999 ]
  • 定理 证明支持交互式证明开发和某种程度的系统自动化已经变成…这种半实物的典型例子自动化的推理系统包括…最先进的交互定理 证明系统和适当的抽象级别…伊萨尔河/VM解释器。与现有声明性相比定理 证明系统(如Mizar),Isar避免了几个缺点…
  • 甘道夫

  • 33篇参考文献[SW10133]
  • 甘道夫是自动化的 定理 证明(ATP)系统。IT证明 定理逻辑公式化。因为…
  • 常春藤

  • 29篇参考文献[SW10269]
  • 证明. 应用是分辨率/参数化自动化的 定理 证明对于一阶逻辑。顶端ACL2…
  • GEX

  • 31篇参考文献[SW09961]
  • 动态图绘制自动化的几何定理 证明发现。作为一个动态几何软件…学习各种数学概念。作为一个自动化的推理软件,我们可以建立动态逻辑…通过这些方法,用户可以自动化的 证明几何定理发现新的特性定理
  • HR

  • 29篇参考文献[SW1092]
  • 程序用于定理世代。自动化的理论的形成涉及到感兴趣的对象、概念的产生。猜想和这些成为定理如果他们是证明,非定理如果被证明是错误的。类似的…大量生产定理用于测试自动化的 定理提升者(ATPS),或更小的数字…问题,引理的生成自动化的 定理 证明以及基准的产生定理
  • ILTP

  • 22篇参考文献[SWO4437 ]
  • 测试和基准测试平台自动化的 定理 证明(ATP)系统的一阶和命题…
  • 精益

  • 19篇参考文献[SW15148]
  • 架起互动与沟通的桥梁自动化的 定理 证明通过情境自动化的工具和方法…
  • 马瑟特

  • 17篇参考文献[SW24047 ]
  • 关于它的一些联系自动化的 定理 证明. 这些联系出现在边界…
  • 情商

  • 12篇参考文献[SW15620]
  • 均等证明器EQP是一个自动化的 定理 证明一阶等式逻辑程序…
  • TGTP

  • 10篇参考文献[SW12327 ]
  • 几何测试与评价自动化的 定理 证明(GATP)系统,以帮助确保性能…
  • 扎普

  • 8篇参考文献[ SW068 23 ]
  • 自动化的 定理 证明软件分析自动化的 定理PROVES(ATPS)是一个关键的组成部分,…
  • 埃尔比

  • 6篇参考文献[SW21545 ]
  • 自动化的 定理 证明. 理论与实践。用CD-ROM。这本书的主题…最有趣的人工智能领域:自动化的 定理 证明. 特别是关于…第13章,简要考察两个自动化的 定理-证明程序,{灰衣甘道夫}和{水獭…一百定理可以作为一门课程的教学材料定理 证明
  • MPTP

  • 22篇参考文献[SW02489]
  • 定理进步者。MIPAR问题定理 证明是一个翻译MIZAR的系统…适合的格式自动化的 定理生成器和生成定理 证明相应的问题…
  • 欧米伽蚂蚁

  • 8篇参考文献[SW19626]
  • 结合互动的开放式教学法自动化的 定理 证明. 我们提出$ Omega $蚂蚁定理