• 水獭

  • 312篇参考文献[SW02904]
  • 现行自动扣除系统水獭旨在证明一阶逻辑中所陈述的定理…平等的。水獭推理规则是基于分辨率和参数化的,它包括…指导和限制证据的检索。水獭也可以用作符号计算器…嵌入式等式编程系统。水獭是一个第四代阿贡国家实验室演绎系统,其…
  • 箴言9

  • 166篇参考文献[SW0496]
  • 反例。PROVR9是继承人水獭证明者…
  • HR

  • 29篇参考文献[SW1092]
  • 猜想本身与(iii)使用水獭证明定理证明了猜想。在领域中…在哪里?水獭MACE是有效的,HR可以产生大量的检验定理。
  • 史考特

  • 26篇参考文献[ SW067 17]
  • 史葛:语义约束水獭. 史葛项目可追溯到1991,目前仍在运行。定理证明器的一个变种水獭在CASC竞争了几年,取得了不平凡的成绩…
  • 情商

  • 12篇参考文献[SW15620]
  • 抛光作为我们的主要生产定理证明器水獭. 但是它已经获得了一些有趣的结果…很好,但是如果你已经知道了水獭你可能在学习上并没有很大的困难…
  • 小豆

  • 7篇参考文献[SW1248]
  • 应用并行闭包算法水獭是目前最快的顺序定理证明系统…大问题。结果是ROO(自由基)。水獭优化,澳大利亚起源),平行定理…证明器兼容水獭并且能够近似线性加速水獭关于共享内存…
  • 水瓶座

  • 5篇参考文献[SW2668]
  • 方法水瓶座采用序贯定理证明器水獭以水瓶座的方式…方法,提供的所有策略水獭. 在本文中,我们首先给出…
  • 埃尔比

  • 6篇参考文献[SW21545 ]
  • 定理证明程序{灰衣甘道夫}和{它水獭}。他的过去,作者…
  • 斯纳克

  • 4篇参考文献[SW19611]
  • 定理证明的风格类似于水獭斯纳克的一些与众不同的特征…
  • 校对表

  • 3篇参考文献[SW28 64]
  • 这种机制已经用于水獭和PROVR9定理证明者,两者都用于交互…
  • 格列法因夫

  • 2篇参考文献[SW26321]
  • 系统特别是,我们提出了一个水獭[MCC90]证明,我们处理对称性…
  • 塞西奥

  • 119篇参考文献[SW0707]
  • SESEO:一个高性能的定理证明器。论文…