• 霍尔灯

  • 285篇参考文献[SW0680]
  • 交互式经典证明助手较高的-排序 逻辑,旨在作为一个干净和简化的版本…
  • 电除尘器

  • 152篇参考文献[SW06302]
  • 首次自动定理证明器排序 逻辑类型理论。后者…初等定理的证明较高的-排序 逻辑交互地、自动地或混合地…证明与解决统一问题较高的-排序 逻辑. 它有一个公式编辑器…
  • TPS

  • 71篇参考文献[SW0933]
  • 首次自动定理证明器排序 逻辑类型理论。后者…初等定理的证明较高的-排序 逻辑交互地、自动地或混合地…证明与解决统一问题较高的-排序 逻辑. 它有一个公式编辑器…
  • 卫星照相机

  • 48篇参考文献[ SW068 49 ]
  • 自动定理证明器较高的-排序 逻辑. 特殊形式较高的-排序 逻辑支持。。。
  • 利奥二世

  • 49篇参考文献[SW0512]
  • 天然碎片专家较高的-排序 逻辑. 目前,LYO-II可以合作…分部(自动化)较高的-排序 逻辑在CASC-J5。在CASC…
  • 高阶逻辑

  • 45篇参考文献[ SW01580]
  • HiLog:一个基金会较高的-排序 逻辑编程我们描述一本小说逻辑叫HiLog…比传统谓语逻辑. HiLog有较高的-排序语法和允许任意的术语…讨论,包括DCG文法,较高的-排序模块化逻辑编程和演绎数据库…
  • 挑剔

  • 54篇参考文献[SW0622]
  • 反例比其他模型发现者较高的-排序 逻辑,没有形式上的限制…
  • 蛤蜊蛤蜊

  • 24篇参考文献[SW19614]
  • 领域:系统描述:证明规划较高的-排序 逻辑用蛤蜊。这个系统描述概述…用于验证规划的SLA-CLAM系统较高的-排序 逻辑. 应用…的有效性和可行性
  • 欧米茄

  • 26篇参考文献[SW19623 ]
  • Ω兆:一个定理证明器较高的-排序 逻辑基于证明计划…
  • 转移

  • 25篇参考文献[SW21009]
  • 在形式推理中无处不在较高的-排序 逻辑. 通常,用户希望建立一个库…
  • 举起

  • 25篇参考文献[SW21010]
  • 在形式推理中无处不在较高的-排序 逻辑. 通常,用户希望建立一个库…
  • CIAO

  • 47篇参考文献[SW120 88 ]
  • 支持编程的编程语言逻辑,约束,泛函,较高的-排序和面向对象的编程风格…
  • 哈斯卡尔

  • 17篇参考文献[SW0399 ]
  • 表达标准语言较高的-排序 逻辑. 哈萨克族的特色包括部分较高的-排序功能,较高的-排序子类型、浅多态和广泛类型类机制。此外,HASCAL提供…效果,包括基于单体的通用霍尔逻辑
  • 霍尔OCL

  • 21篇参考文献[SW05334 ]
  • 对象约束语言(OCL)较高的-排序 逻辑我们探讨了几个关键问题…
  • 辅酶Q/SSR

  • 62篇参考文献[SW09360]
  • 它利用了较高的-排序Coq底层的本质逻辑提供有效的自动化…
  • THF0

  • 14篇参考文献[SW033 10]
  • 较高的-排序 逻辑. 保持一个一致的风格之间的排序较高的-排序语言
  • 利奥三世

  • 13篇参考文献[SW18516]
  • 基于Agent的经典演绎系统较高的-排序 逻辑被开发出来。Leo III结合…
  • 雅典娜

  • 10篇参考文献[SW09667 ]
  • 编程语言,自由神弥涅尔瓦是较高的-排序传统语言中的功能语言…许多排序第一排序 逻辑. 许多排序第一排序 逻辑是一种非常有表现力的语言…曼扎诺的“第一延伸”排序 逻辑“有人认为它可以被看到……”其他框架逻辑学包括较高的-排序 逻辑. 它保留了第一次的可追踪性。
  • 捕食者

  • 16篇参考文献[SW0796]
  • 灵感来自于分离的作品逻辑较高的-排序列出谓词,但它们…