• 水獭

  • 312篇参考文献[SW02904]
  • 电流自动化演绎 系统水獭的设计是为了证明一阶逻辑中所陈述的定理…第四代阿贡国家实验室演绎 系统其祖先(从20世纪60年代初)包括…
  • 特威尔

  • 164篇参考文献[SW0688]
  • 指定、实现和证明属性演绎的 系统比如编程语言和逻辑。大号
  • 埃兰

  • 108篇参考文献[SW02179]
  • 指定和原型环境演绎 系统在一种基于规则控制的语言中…两者的逻辑框架演绎 系统可以表达和组合…
  • 电除尘器

  • 151篇参考文献[SW06302]
  • 在UNIX和Linux下广泛使用系统在Windows下的某种程度上。潜力…学科种类繁多,演绎的信息系统对于这些学科,专家系统可以推理…扩展证明,翻译成自然演绎证明,建构自然演绎证明,翻译自然演绎TPS建设的互动设施演绎在名称下使用了证明…
  • XSB

  • 136篇参考文献[SW1387]
  • 逻辑程序设计演绎的数据库系统对于UNIX和Windows。XSB-PROLog.这是…
  • TPS

  • 70篇参考文献[SW0933]
  • 在UNIX和Linux下广泛使用系统在Windows下的某种程度上。潜力…学科种类繁多,演绎的信息系统对于这些学科,专家系统可以推理…扩展证明,翻译成自然演绎证明,建构自然演绎证明,翻译自然演绎
  • MPTP 0.2

  • 43篇参考文献[SW02589]
  • 前提是通过机器学习选择的系统对以前的证据进行训练…即使是简单的归纳法演绎的 系统受过正规数学训练的人有时可以…
  • 流浪汉

  • 19篇参考文献[SW21343]
  • 自然证明演绎断言级别的证明。流浪汉系统转换输出…融入自然演绎断言级别的证明。通过这个接口,其他系统这样…证据展示系统或互动演绎 系统可以访问任何最初产生的证据系统
  • 乐高

  • 106篇参考文献[SW09685 ]
  • 它实现了各种相关类型。系统-爱丁堡逻辑框架(LF),微积分…自然演绎风格它支持作为基本操作的求精证明。这个系统设计强调…
  • 凯玛拉

  • 37篇参考文献[SW03709]
  • 混合式混合验证工具系统这种结合演绎的实代数和计算机代数证明器…混合动力的自然规范和验证逻辑系统. KeMaEa支持差分动态逻辑,其中…
  • 多原木

  • 17篇参考文献[SW06604]
  • MultLoga是系统它作为输入的一个有限值的第一…产生一个连续的演算,一个自然的演绎 系统和这个逻辑的子句形成规则…
  • 姆巴斯

  • 17篇参考文献[SW0824]
  • 逻辑层次的知识库系统这是由逻辑同态连接起来的。这些…目前使用的各种格式演绎 系统. 另一方面,他们定义了更高的…
  • 德尔芬

  • 16篇参考文献[SW21365 ]
  • Delphin:函数式编程演绎的 系统. 我们提出了严格的设计和实现。
  • 枸杞

  • 14篇参考文献[ SW028 88 ]
  • 通用框架(LDS)演绎的 系统)产生特定的推理能力;探索…
  • DLV

  • 21篇参考文献[SW04640]
  • 演绎的数据库系统,基于析取逻辑编程,它提供前端到几个先进的…
  • 利奥三世

  • 13篇参考文献[SW18516]
  • 项目,一种新的基于Agent演绎 系统对于经典高阶逻辑的发展…
  • 步骤

  • 35篇参考文献[SW17948 ]
  • 受限于有限状态系统,但结合模型检查演绎的方法允许…
  • TLPVS

  • 10篇参考文献[SW10024]
  • 线性时序逻辑验证系统. 这个系统包括一组定义时间的理论…在A中特别有用演绎的LTL系统. 分布式排名规则…
  • 悲伤的

  • 14篇参考文献[SW0996]
  • 系统为了自动化演绎(SAD):证明验证工具。本文证明了…
  • 断言

  • 6篇参考文献[SW28 906]
  • 定理证明器是一个相互作用的、自然的演绎 系统以抽象数据类型为中心。自从很久以来…