• 乐高

  • 引用107篇文章[sw09685]
  • 互动发展中的自然证明演绎风格。它支持精化证明作为基本。。。例如,系统的特性类似于参数合成宇宙多态性使得证据检查更多。。。
  • 艾莉莎

  • 引用3篇文章[sw03031]
  • 自动演绎的 合成在ALISA系统中的Lisp程序。。。
  • 枸杞

  • 在14篇文章中引用[sw02888]
  • 枸杞(机械化演绎在实践推理的逻辑学)II项目是:合成具体来说。。。开发通用框架(LDS,标签演绎的系统)产生特定的推理能力。。。
  • 闪光金属

  • 引用4篇文章[sw29484]
  • 新颖的节目合成称为数据驱动领域特定的方法演绎(D4),其中特定领域的见解。。。设计师,与合成算法。我们的FlashMeta框架实现了这种方法,允许合成器。。。
  • 普里兹

  • 引用8篇文章[sw29713]
  • 特定问题域,但适用于合成解决一个大类问题的程序。。。从理论上讲它有演绎的直觉命题演算的力量。。。
  • 辛西娅

  • 参考7篇文章[sw12933]
  • Synthia:验证和合成对于时间自动机。Synthia是第一个认证模型检查器。。。用户。这样的证书很容易验证演绎的只反映规范关键的证明。。。
  • 斯诺克

  • 引用4篇文章[sw19611]
  • 程序的统一算法、排序、答案构造合成,过程附加,以及Lisp代码的可扩展性。。。大型信息存储库演绎的美国宇航局安菲翁系统的核心。。。
  • 倾斜

  • 1条引用[sw24052]
  • 这一术语代表自然的证据演绎微积分。因为搜索空间。。。能够解决较小的程序合成问题。。。
  • ACL2

  • 引用276篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 达夫尼

  • 参考文献62篇[sw00183]
  • Dafny是一种命令式的基于对象的语言。。。
  • 差距

  • 引用2797篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 数学软件

  • 引用了5808篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 濑户

  • 引用了119篇文章[sw00707]
  • SETHEO:一个高性能的定理证明器。报纸。。。
  • 减少

  • 引用739篇文章[sw00789]
  • REDUCE是一个通用代数的交互系统。。。