• 伊莎贝尔

  • 572篇参考文献[SW044]
  • 伊莎贝尔是一个通用的证明助手。它允许数学公式被表达…
  • 逆合成孔径雷达

  • 134篇参考文献[SW04999 ]
  • 推理系统包括COQ、PVS、HOL和伊莎贝尔. 尽管在实际的形式化方面取得了成功发展也得到了直接的支持。这个伊莎贝尔系统提供ISAR作为另一种证明…程序等可以互换使用。伊莎贝尔-经典证明脚本和伊莎贝尔/伊萨尔河文件。Isar…类属伊莎贝尔,能够支持广泛的对象逻辑。电流…
  • 大锤

  • 104篇参考文献[SW07047 ]
  • 对一阶ATPS和内置伊莎贝尔战术上的各种基准…伊莎贝尔TPTP库。大锤为个人特征提供了理想的测试平台。
  • 名义伊莎贝尔

  • 65篇参考文献[SW120 55 ]
  • 名义上的一般绑定和α等价伊莎贝尔. 名词性伊莎贝尔是一个定义的扩展…本文提出了名词外延。伊莎贝尔对于处理一般绑定,这意味着…
  • 塞塔

  • 40篇参考文献[ SW065 84]
  • 显示错误信息。最后,我们使用伊莎贝尔的代码生成设施生成…证明终止证明甚至没有伊莎贝尔安装。。。
  • 规划师

  • 28篇参考文献[SW02047 ]
  • 交互式定理证明器中的证明规划伊莎贝尔. 它有助于推理技术的编码。正在使用的ISAPLANER屏幕截图伊莎贝尔并证明一般)是基于…伊莎贝尔定理证明器和ISAR语言。写在ISAPLANER中的主要证明技术…基于涟漪。这在内部适用。伊莎贝尔的高阶逻辑,并且可以很容易地…
  • 证据总则

  • 50篇参考文献[SW04901]
  • 交互式证明系统,包括COQ、乐高和伊莎贝尔. 支持他人…
  • 场所

  • 30篇参考文献[SW1248]
  • 它们适用于定理证明器。伊莎贝尔. 本文定义了它们的语义。通过定义和定理来扩展。解读伊莎贝尔全球理论和证明语境…更广泛的受众超过用户伊莎贝尔. 讨论的机制包括ML风格函子,类型…
  • 挑剔

  • 48篇参考文献[SW0622]
  • 卡片系统。我们的实验结果伊莎贝尔理论和TPTP图书馆表明…
  • 转移

  • 22篇参考文献[SW21009]
  • 类型早期的工作伊莎贝尔商包在自动化方面取得了很大的进步。
  • 举起

  • 22篇参考文献[SW21010]
  • 类型早期的工作伊莎贝尔商包在自动化方面取得了很大的进步。
  • CavaLTL模型检查器

  • 13篇参考文献[SW28 830]
  • 代码已完全使用伊莎贝尔定理证明器检查员由……组成。代码代码是使用伊莎贝尔细化框架,它允许我们分裂…
  • CSP证明器

  • 15篇参考文献[SW11465 ]
  • 基于通用定理证明器伊莎贝尔,使用逻辑HO复合物。在这个逻辑中…
  • PSI结石

  • 9篇参考文献[ SW28 73]
  • 结石伊莎贝尔. PSI计算器是PI演算的扩展,适应任意名义数据类型…交互式定理证明器中的结石伊莎贝尔使用其标称数据类型包。一个独特的特点…