• 水獭

  • 在310篇文章中引用[sw02904]
  • 当前自动演绎 系统Otter被设计来证明一阶逻辑中的定理。。。第四代阿贡国家实验室演绎 系统他们的祖先(可以追溯到20世纪60年代早期)包括。。。
  • 特维尔

  • 在168篇文章中引用[sw06888号]
  • 指定、实现和证明演绎的 系统例如编程语言和逻辑。大。。。
  • 伊兰

  • 参考文献108篇[sw02179]
  • 用于指定和原型的环境演绎 系统在一种基于规则控制的语言中。。。逻辑框架演绎 系统可以表达和组合。。。
  • ETPS公司

  • 引用的第152条[sw06302]
  • 在Unix和Linux下被广泛使用系统在一定程度上也在窗户下。潜在的。。。学科门类繁多,演绎的信息系统对于这些学科,专家系统可以推理。。。扩展证明,将这些转换为自然演绎证明,构造自然演绎校对,翻译自然演绎... 构建自然环境的TPS交互设施演绎证据被用在。。。
  • XSB公司

  • 引用137篇文章[sw13877]
  • 逻辑编程和演绎的数据库系统对于Unix和Windows。XSB序言。它是。。。
  • 测试程序集

  • 引用71篇文章[sw00973]
  • 在Unix和Linux下被广泛使用系统在一定程度上也在窗户下。潜在的。。。学科门类繁多,演绎的信息系统对于这些学科,专家系统可以推理。。。扩展证明,将这些转换为自然演绎证明,构造自然演绎校对,翻译自然演绎...
  • MPTP 0.2

  • 引用了43篇文章[sw02589]
  • 前提由机器学习选择系统根据以前的证据训练过。。。即使是一个简单的归纳或演绎的 系统受过正规数学训练的人有时。。。
  • 流浪汉

  • 引用了20篇文章[sw21343]
  • 自然的证明演绎断言级别的证明。流浪汉系统转换输出。。。变成自然演绎断言级别的证明。通过这个接口,其他系统这样。。。校样展示系统或者互动的演绎 系统可以使用任何系统...
  • 乐高

  • 引用107篇文章[sw09685]
  • Jersey ML。它实现了各种相关类型系统-爱丁堡逻辑框架(LF),微积分。。。自然的演绎风格。它支持将求精证明作为基本操作。这个系统设计强调。。。
  • DLV公司

  • 引用了30篇文章[sw04640]
  • 演绎的数据库系统以析取逻辑程序设计为基础,为多个高级程序设计提供了前端。。。
  • 凯玛拉

  • 引用了37篇文章[sw03709]
  • 混合动力验证工具系统结合在一起演绎的实代数和计算机代数证明器。。。混合动力系统的自然规范与验证逻辑系统. KeYmaera支持差分动态逻辑,它。。。
  • 德尔芬

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

  • 17条引用[sw06604]
  • 穆拉图系统以有限值的规范作为第一个输入。。。产生一个连续的微积分,一个自然的演绎 系统,以及这个逻辑的从句构成规则。。。
  • 工商管理硕士

  • 17条引用[sw08724]
  • 逻辑层次知识库系统它们由逻辑态射联系在一起。这些。。。中当前使用的各种格式演绎 系统. 另一方面,他们定义了更高的。。。
  • 枸杞

  • 在14篇文章中引用[sw02888]
  • 通用框架(LDS,贴有标签演绎的 系统)产生特定推理的探索能力。。。
  • 台阶

  • 引用36篇[sw17948]
  • 受限于有限状态系统,但将模型检查与演绎的方法来允许。。。
  • 利奥三世

  • 参考第13条[sw18516]
  • 项目,一个新的基于代理的演绎 系统对于经典的高阶逻辑发展。。。
  • TLPVS公司

  • 在10篇文章中引用[sw10024]
  • 线性时序逻辑验证系统. 这个系统包括一套定义时间。。。它们在演绎的ltl公司系统. 分布式排名规则。。。
  • 可悲的

  • 在14篇文章中引用[sw09796]
  • 系统对于自动化演绎验证工具(SAD)。在这篇论文中,一个证明。。。
  • 断言

  • 参考6篇文章[sw28906]
  • 定理证明者是一个迭代的,自然的-演绎 系统以抽象数据类型为中心。很久以来。。。