• 水獭

  • 310篇参考文献[SW02904]
  • 设计证明定理第一-排序 逻辑平等的。水獭的推理规则…
  • 吸血鬼

  • 229篇参考文献[SW0918]
  • 自动定理证明器第一-排序古典逻辑. 它由一个外壳组成…内核。内核实现了命令二进制分辨率和叠加处理平等…命令单位平等,以及轻量级的基本性。CASC版本使用Knuth Bendix订购完全接受问题第一-排序 逻辑语法,使其复杂化并执行…
  • E定理证明器

  • 183篇参考文献[SW10187]
  • 完全定理证明器第一-排序 逻辑平等的。它接受一个问题规范,通常…由若干个组成的第一-排序子句或公式,以及猜想,又或者…强大和友好的推理系统第一-排序 逻辑. 证明人成功地参与了…
  • 斯帕斯

  • 174篇参考文献[SW04108]
  • 自动定理证明器第一-排序 逻辑平等的。因此,证明者的输入…有效的,因为有效性第一-排序 逻辑是不可判定的,斯帕斯可能永远没有…
  • 箴言9

  • 170篇参考文献[SW0496]
  • 自动定理证明器第一-排序和等式逻辑和MACE4搜索有限的模型…
  • TPS

  • 71篇参考文献[SW0933]
  • 自动定理证明器第一-排序 逻辑类型理论。后者…
  • 证明者

  • 47篇参考文献[SW09707]
  • 基于实例化的定理证明器第一-排序 逻辑. iExpRever是一个基于实例化的定理证明器。积分演算,完成第一-排序 逻辑. 论证者的显著特征之一…
  • 奥斯卡

  • 44篇参考文献[SW26328 ]
  • 可完成的可推理推理机第一-排序 逻辑论证的充分论证
  • 常春藤

  • 30篇参考文献[SW10269]
  • 预处理器和验证检查器第一-排序 逻辑. 本案例研究表明非ACL2…分辨率/参数自动定理证明第一-排序 逻辑. 顶部的ACL2函数需要猜测…
  • 钥匙

  • 63篇参考文献[SW0996]
  • 新的定理证明器第一-排序动态的逻辑对于Java用户友好的…
  • 盖特1.1

  • 30篇参考文献[SW02442]
  • 英文或中文陈述,成第一-排序 符合逻辑的公式,或代数表达式;绘制…
  • 兰科普

  • 21篇参考文献[SW0976]
  • 非常紧凑的经典定理证明器第一-排序 逻辑,基于连接(TabLoue)演算…直觉的紧致定理证明器第一-排序 逻辑并基于子句连接演算…
  • 凯玛拉

  • 37篇参考文献[SW03709]
  • 这是一个真正的价值第一-排序动态逻辑对于混合程序,程序符号…
  • 可控硅

  • 19篇参考文献[SW06939 ]
  • 启用事件的语义第一-排序 逻辑通过两个符号PRED和SUCC。轻微延伸第一-排序 逻辑让我们增加可读性…
  • 达尔文

  • 24篇参考文献[SW04175]
  • 自动定理证明器第一 排序子句逻辑. 它接受TPTP中制定的问题…问题比命题方法。达尔文是第一模型演化演算的实现…将命题DPLL过程提升到第一-排序 逻辑. 主要动机之一…迁移到第一-排序一些非常有效的搜索技术…
  • 红木

  • 156篇参考文献[SW04250]
  • 逻辑系统,即为符号操作提供算法的系统。第一-排序
  • 超验

  • 24篇参考文献[SW22172]
  • 软件程序。不像传统的治疗方法第一-排序 逻辑超验结合图形和句子信息…
  • 公主

  • 23篇参考文献[ SW068 72]
  • 定理证明第一-排序 逻辑模线性整数运算。公主是一个定理证明者…
  • 利奥二世

  • 49篇参考文献[SW0512]
  • 高-排序 逻辑. 目前,LEO-II可以与TPTP兼容。第一-排序自动化的…自动化(高级)排序 逻辑在CASC-J5。在CASC…也参与第一-排序FF和CNF的划分,性能相当好。