• PVS公司

  • 引用607篇文章[sw03484]
  • 与支持工具和定理 校准器. 它是为了占领这个国家。。。
  • 荷兰语

  • 引用488篇文章[sw05492]
  • 实施。内置决策程序和定理 校准器可以自动建立许多简单的定理...
  • z3型

  • 引用487篇文章[SW047号]
  • 高性能定理 校准器Z3支持线性实数和整数运算。。。
  • TPTP

  • 引用373篇文章[sw04143]
  • TPTP(成千上万的问题定理 校准器)是一个自动化的测试问题库。。。
  • 定理证明器

  • 参考文献188篇[sw10187]
  • 白痴定理 校准器:E是一个定理 校准器对于完全一阶逻辑的等式。。。
  • 霍尔灯

  • 引用288篇文章[sw06580]
  • 迈克·戈登最初的霍尔系统。定理 校准器在这个家族中使用一个版本。。。
  • 数量

  • 在146篇文章中引用[sw07543]
  • 定理 校准器从1979年开始是线性积分。。。用户向定理 校准器. 逻辑本身的重大变化。。。计算逻辑与计算逻辑定理 校准器“[J.Autom。推理4,第2期,117-172页(1988年)。然而。。。逻辑和定理 校准器自从作者的前。。。
  • 吸血鬼

  • 在233篇文章中引用[sw02918]
  • RV02,Vor05]是自动的定理 校准器对于一阶经典逻辑。它包括。。。结果到内核。定理证明了,系统产生了可验证的证据。。。
  • 肉豆蔻4

  • 引用200篇文章[sw06905]
  • 对一阶的有益补充定理 校准器,带有校准器寻找证据和权杖。。。
  • 验证9

  • 引用了173篇文章[sw04969]
  • Mace4:Prover9是一个自动的定理 校准器一阶,四阶方程。。。
  • 斯帕斯

  • 在177篇文章中引用[sw04108]
  • SPASS是一种自动化的定理 校准器对于一阶等价逻辑。所以输入。。。
  • 濑户

  • 引用了119篇文章[sw00707]
  • 赛太欧:高性能定理 校准器. 本文论述了其理论背景和实践意义。。。有趣的系统定理 校准器对于一阶逻辑。系统是基于。。。
  • 红皮书

  • 引用159篇文章[sw04250]
  • 语言与理论。与…对比定理 校准器所采用的方法了解潜在的。。。
  • ETPS公司

  • 在153篇文章中引用[sw06302]
  • 系统。前者是一个自动化的定理-校准器对于一阶逻辑和类型理论。。。只包含与证明相关的命令定理互动的。TPS和ETP在公共Lisp中运行。。。
  • 伊兰

  • 参考文献108篇[sw02179]
  • 支持定理 校准器逻辑编程语言,约束求解器和决策程序。。。支持定理 校准器逻辑编程语言,约束求解器和决策程序。。。
  • 萨奇摩

  • 引用的第96条[sw06619]
  • 萨奇莫:a定理 校准器在Prolog中实现。萨奇摩定理 校准器...
  • 原因3

  • 引用126篇文章[sw04438]
  • 称为WhyML,依赖于外部定理 校准器自动和交互式的,用于出院验证。。。
  • 佩斯卡

  • 引用127篇文章[sw13664]
  • 校样编辑和自动定理 校准器. 用Pesca构造的证明可以。。。
  • Java探路者

  • 引用120篇文章[sw07658]
  • 应用现有的模型检查程序和定理 校准器到实际应用程序。。。
  • 大锤

  • 引用116篇文章[sw07047]
  • 利用外部一阶自动定理 校准器(ATPs)解除因。。。