• DLV公司

  • 参考第30条[sw04640]
  • 演绎的基于析取逻辑程序设计的数据库系统,它为一些高级的。。。
  • GCLC公司

  • 引用了29篇文章[sw00326]
  • 将视觉和语义几何信息与演绎的属性和机器生成的证明。。。
  • ModLeanTAP公司

  • 引用18条[sw12368]
  • ModLeanTAP:基于Lean Tableau的演绎对于命题模态逻辑。LeanTap的实现是一个序言。。。其他相当复杂的modal实现演绎. 莫德塔普的发展受到启发。。。
  • 乌克利德

  • 引用25篇文章[sw04657]
  • 术语级有界模型检查,对应关系检查,演绎的验证和基于谓词抽象的验证。。。
  • DPPD公司

  • 在14篇文章中引用[sw09884]
  • DPPD(部分演绎)基准库。由迈克尔·鲁舍尔维护。建议。。。部分基准套件演绎. 最初的观察是。。。只接受部分基准套房演绎(所谓的Lam和Kusalik基准)包含。。。定理证明)库,但对于部分演绎. 该库包含由声明性逻辑组成的基准。。。
  • 为什么

  • 引用24篇文章[sw09709]
  • 介绍Why3,一个用于演绎的程序验证,和WhyML,它的编程和规范语言。。。
  • 保护神

  • 参考22篇文章[sw17512]
  • 定义本体的接口。它还包括演绎的用于验证模型一致性的分类器。。。
  • 枸杞

  • 在14篇文章中引用[sw02888]
  • 枸杞的最终目标(机械化演绎在实践推理的逻辑)II项目。。。开发通用框架(LDS,标签演绎的系统)产生特定的推理能力。。。
  • Mcmt公司

  • 引用19篇文章[sw11911]
  • 描述mcmt,一个完整的声明性和演绎的无穷大安全特性的符号模型检验器。。。
  • F*

  • 引用19篇文章[sw27563]
  • 一起实现了SMT的自动化演绎的具有表达能力的验证工具。。。
  • 德尔芬

  • 引用18条[sw21365]
  • Delphin:函数式编程演绎的系统。我们提出了一个严格的。。。
  • 米扎莫

  • 17条引用[sw01973]
  • 像Mizar Proof Advisor这样的学习工具,演绎的像MoMM之类的工具。我们给。。。
  • 多日志

  • 17条引用[SW604号文件]
  • 产生一个连续的微积分,一个自然的演绎系统,以及这个逻辑的从句形成规则。。。
  • 竖琴

  • 引用15篇文章[sw26323]
  • 专为捕捉高效和人性化而设计演绎策略和快速发现某些类型。。。
  • 数据日志精简版

  • 在10篇文章中引用[sw28894]
  • 数据日志LITE:a演绎的线性时间模型检查查询语言。我们提供数据日志。。。演绎的查询语言采用线性时间模型检查算法,即线性时间数据。。。
  • 催眠

  • 在14篇文章中引用[sw02743]
  • 通过让Prolog执行演绎的直接和通过治疗可预见的(和假设。。。