• 电除尘器

  • 150篇参考文献[SW06302]
  • 初等定理的证明较高的-排序逻辑交互,自动,或混合…扩展证明,解决统一问题在较高的-排序逻辑。它有一个公式…
  • TPS

  • 69篇参考文献[SW0933]
  • 初等定理的证明较高的-排序逻辑交互,自动,或混合…扩展证明,解决统一问题在较高的-排序逻辑。它有一个公式…
  • 雅典娜

  • 10篇参考文献[SW09667 ]
  • 逻辑,包括较高的-排序逻辑。它保持了第一的可追踪性。排序逻辑(完备性,紧凑性……)过度的术语和公式,有效的匹配和统一算法等),同时克服一些…
  • 钳3

  • 0篇参考文献[SW19621]
  • 批评策划的批评家,还有一些较高的-排序 统一在蛤蜊的V3分支中…
  • 努普尔灯

  • 1篇参考文献[SW31982 ]
  • NUPRL光:一个实现框架较高的-排序逻辑学。本文描述了NUPRL光…伊莎贝尔。然而,伊莎贝尔使用较高的 排序 统一和决议,努普尔轻保留战术…
  • 辅酶Q

  • 1706篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • MATLAB

  • 11146篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 塞西奥

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

  • 730篇参考文献[SW0789]
  • Read是一个通用代数的交互系统。
  • 毫升

  • 491篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。