• 电除尘器

  • 152篇参考文献[SW06302]
  • 只包含相关的命令证明 定理 交互地. TPS和ETPS在公共LISP中运行…在Windows下。自动化的潜在应用定理 证明包括硬件和软件验证,部分自动化…用于证明 定理一阶逻辑与高阶逻辑交互地,自动…
  • 逆合成孔径雷达

  • 137篇参考文献[SW04999 ]
  • 定理 证明二者兼备互动证明的发展和某种程度的自动化已经成为…最先进的艺术互动 定理 证明系统和适当的水平…伊萨尔河/VM解释器。与现有声明性相比定理 证明系统(如Mizar),Isar避免了几个缺点…广泛的自动证明方法。互动证明开发也得到了直接支持。
  • TPS

  • 71篇参考文献[SW0933]
  • 只包含相关的命令证明 定理 交互地. TPS和ETPS在公共LISP中运行…在Windows下。自动化的潜在应用定理 证明包括硬件和软件验证,部分自动化…用于证明 定理一阶逻辑与高阶逻辑交互地,自动…
  • MIZ3

  • 11篇参考文献[SW1863]
  • 程序性和陈述性的风格互动 定理 证明. 我们提出了一个综合…证据风格互动 定理 证明程序风格(证明是命令脚本)在任何程序之上实现互动 定理证明者,不管它的架构和逻辑…
  • 39篇参考文献[SW19619]
  • 转弯互动证明编辑器进入全自动定理 证明系统
  • 精益

  • 23篇参考文献[SW15148]
  • 弥合差距互动自动化定理 证明通过定位自动化工具和方法…
  • 雅典娜

  • 10篇参考文献[SW09667 ]
  • 程序设计语言与AN互动 定理 证明环境一脉相承。作为一种编程语言…
  • 规划师

  • 29篇参考文献[SW02047 ]
  • 证明计划框架互动 定理证明者伊莎贝尔。它有助于编码…猜想与证明 定理自动地。该系统提供了一个互动跟踪工具允许…
  • 杰莫尔

  • 11篇参考文献[SW0978]
  • JProver:基于连接的集成定理 证明进入之内互动证明助理。JPROMER是一阶…
  • 阿贝拉

  • 47篇参考文献[SW09461 ]
  • 阿贝拉互动 定理证明者(系统描述)。阿贝拉[ 3 ]是互动推理系统其他的东西,阿贝拉已经习惯了证明α-演算的正规化性质阿贝拉的基础,勾勒出风格定理 证明它支持并最终描述…
  • 乌贼墨

  • 6篇参考文献[SW21585 ]
  • 乌贼墨组合模型推理互动 定理 证明. 现有证明语料库使用状态建模…
  • 校对者

  • 4篇参考文献[SW30422]
  • 协同定理 证明. 校对汇集互动 定理 证明技术与电力…
  • 贾菲

  • 6篇参考文献[SW32677 ]
  • 想象一下所有的问题互动 定理-证明解决了;如果你确定…
  • 欧米伽蚂蚁

  • 8篇参考文献[SW19626]
  • 合并开放式教学法互动自动化定理 证明. 我们提出$ Omega $蚂蚁定理
  • 奥姆斯

  • 39篇参考文献[SW03359]
  • 关于定义的探索性步骤互动在OMRS的水平,提供一个具体的语法…分布式数学服务的通信定理 证明符号计算环境…
  • 霍尔克

  • 3篇参考文献[SW25266]
  • HOLCF是一个互动 定理 证明使用领域理论数学的系统…
  • HO88

  • 2篇参考文献[SW19615]
  • 系统是一个环境互动 定理 证明在高阶逻辑中。它最…
  • 自动更新器

  • 2篇参考文献[SW22696]
  • Bruijn项和并行替换。进入互动 定理 证明. 用绑定器进行语法推理…