• 霍尔

  • 470篇参考文献[SW054 92]
  • 较高的 排序 逻辑(HOL)是一个可以证明定理的编程环境…
  • 霍尔灯

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

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

  • 157篇参考文献[SW08360]
  • 爱丁堡LCF。机械化的逻辑计算。从LCF到HOL:一个简短的历史…证明助理较高的 排序 逻辑最初是为了推理硬件而开发的。2是多方面的…
  • TPS

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

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

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

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

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

  • 52篇参考文献[SW0639]
  • 基于实现的工具较高的 排序 逻辑(HOL),遵循LCF范式…
  • 蛤蜊蛤蜊

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

  • 29篇参考文献[SW1092]
  • Java中的类到它们的语义中较高的 排序 逻辑. 它是一个前线…
  • 规划师

  • 29篇参考文献[SW02047 ]
  • 这适用于伊莎贝尔较高的 排序 逻辑并且可以很容易地适应…
  • 欧米茄

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

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

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

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

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

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