• 水獭

  • 在310篇文章中引用[sw02904]
  • 设计用来证明第一-秩序 逻辑平等地。水獭推理规则。。。
  • 吸血鬼

  • 在233篇文章中引用[sw02918]
  • 自动定理证明器第一-秩序古典的逻辑. 它由一个外壳组成。。。内核。内核实现命令二元分解和叠加处理等式。。。命令单位相等,基础轻。CASC版本使用Knuth Bendix订购... 完全接受问题第一-秩序 逻辑语法,子句化它并执行。。。
  • 定理证明器

  • 参考文献188篇[sw10187]
  • 完全定理证明器第一-秩序 逻辑平等地。它接受问题说明,通常。。。由许多第一-秩序从句或公式,以及一个猜想,同样。。。用于友好系统的强大推理第一-秩序 逻辑. 证明人已成功参与。。。
  • 斯帕斯

  • 在177篇文章中引用[sw04108]
  • 自动定理证明器第一-秩序 逻辑平等地。所以验证程序的输入。。。有效性和因为有效性第一-秩序 逻辑是不确定的,SPAS可能永远运行没有。。。
  • ETPS公司

  • 在153篇文章中引用[sw06302]
  • 自动定理证明器第一-秩序 逻辑和类型理论。后者。。。
  • 验证9

  • 在174篇文章中引用[SW96049号文件]
  • 自动定理证明器第一-秩序和等式逻辑,而Mace4搜索有限模型。。。
  • iProver公司

  • 引用48篇文章[sw09707]
  • 基于实例化的定理证明器第一-秩序 逻辑. iProver是一个基于实例化的定理证明器。。。微积分,完成第一-秩序 逻辑. iProver的一个显著特点是。。。
  • 奥斯卡

  • 引用44篇文章[sw26328]
  • 完全可以推翻的推理者第一-秩序 逻辑证明这一论点是充分的。。。
  • 常春藤

  • 引用了30篇文章[sw10279]
  • 预处理器和校对器弗斯特-命令 逻辑. 这个案例研究展示了非ACL2如何。。。解析/协调自动定理证明第一-秩序 逻辑. 顶层ACL2函数是一个猜想。。。
  • 钥匙

  • 引用63篇文章[SW099号]
  • 一种新的定理证明器第一-秩序动态的逻辑对于具有用户友好性的Java。。。
  • 精益警察

  • 引用的第24条[sw09756]
  • 经典的非常紧定理证明器第一-秩序 逻辑,基于连接(表)微积分。。。直觉的紧致定理证明器第一-秩序 逻辑基于小句连接演算。。。
  • 凯玛拉

  • 引用了40篇文章[sw03709]
  • 这是一个真正有价值的第一-秩序动态逻辑对于混合程序,程序符号。。。
  • 土工1.1

  • 引用了30篇文章[sw02842]
  • 英语或汉语语句,转换成第一-秩序 符合逻辑的公式,或转化成代数表达式;画。。。
  • 达尔文

  • 引用25篇文章[sw04175]
  • 自动定理证明器第一 秩序小句逻辑. 它接受tptp中提出的问题。。。问题比命题方法。达尔文是第一模型演化演算的实现。。。将命题DPLL过程提升到第一-秩序 逻辑. 主要动机之一。。。迁移到第一-秩序水平一些非常有效的搜索技术。。。
  • 偿付能力资本要求

  • 引用19篇文章[sw06939]
  • 在中启用事件的语义第一-秩序 逻辑通过两个符号pred和succ。这个。。。轻微延伸第一-秩序 逻辑允许我们增加可读性。。。
  • 红皮书

  • 引用159篇文章[sw04250]
  • 逻辑系统,即为符号操作提供算法的系统第一-秩序...
  • 超防的

  • 引用的第24条[sw22172]
  • 软件程序。不像传统的治疗方法第一-秩序 逻辑结合了句子信息。。。
  • 公主

  • 引用23条[sw06872]
  • 定理证明弗斯特-命令 逻辑模线性整数算法。公主是个定理证明者。。。
  • 利奥二世

  • 引用51篇文章[sw00512]
  • 更高-秩序 逻辑. 目前LEO-II可与TPTP兼容第一-秩序自动。。。分部(高级自动化-秩序 逻辑)在CASC-J5。卡斯特。。。也参与第一-秩序分为FOF和CNF,表现相当不错。。。