• 竖琴

  • 15篇参考文献[SW26323 ]
  • 通过删减冗余更可读证明 . 领域无关启发制定公式捕捉…世界知识引导搜索校样并帮助消除无关的前提…
  • 调试器

  • 15篇参考文献[SW09904]
  • 负责建立错误表示这种计算和指导用户…缩写证明 用此演算计算建立适当的调试
  • 二叉树

  • 20篇参考文献[SW1482]
  • 相等的,如果各自的n叶避免它们是平等的。我们调查…等价类的组合。关于建立双射词校样属于模式等价,我们开发了一个通用的…
  • GF

  • 32篇参考文献[SW13667 ]
  • 用于线性化语法解析字符串。GF可以描述两种形式的…语义条件,如井性和证明义务。多语言语法,其中一个抽象语法…语法在哪里构建在交互式编辑器中,类似于证明编辑为基础的…
  • 蒂姆布克

  • 46篇参考文献[SW06351]
  • 实现校样可达性在长期重写系统中的应用自动机(底部)
  • 克里普克

  • 8篇参考文献[SW01162]
  • 它将包含一个子证明如果有…指数率证明搜索通常是生长的。因此…
  • 芝诺

  • 7篇参考文献[ SW0735]
  • 伊莎贝尔密码。芝诺搜索证明 通过反复地将目标降低为…定义,避免重复相似证明我们比较了涟漪为基础…
  • 苏杜

  • 53篇参考文献[SW12436]
  • 自动机,并给出其核心的完整形式定义,以及证明
  • R-萨奇莫

  • 3篇参考文献[SW0620]
  • 原子在不同支路中的原子证明 (3)总结归纳出的反驳。在A中构造完全子树证明 . 此外,可以使用R- SACCHMO…
  • 伊莎贝尔/ZF

  • 59篇参考文献[SW0493]
  • 主要应用是数学的形式化。校样特别是形式验证,包括…定理。伊莎贝尔/ZF还提供了列表的理论,等,用于形式化计算概念。它支持…
  • 阿贝拉

  • 45篇参考文献[SW09461 ]
  • 规范逻辑,允许开发校样有关规格的性能。一个重要的特征…逻辑是他们利用了处理对象绑定的语法方法…
  • 米基塔

  • 1篇参考文献[SW0920]
  • 可视化通用GUI库证明 . 系统描述和演示。本文描述了…我们正在开发的可视化图书馆证明 . 使用MiKieta可以构造一个证明一步一步地选择一个判断并点击一个推理规则来应用…想象完整的必要证明 . 应付各种各样的证明
  • 校对工具

  • 6篇参考文献[SW22201]
  • 分析与改造校样及相关解释了类似结构,并对其实现进行了说明。与其他三个图形界面相比校样
  • 校对树

  • 1篇参考文献[SW17593]
  • 证明树是一个程序。证明-交互式可视化证明定理的发展文本不显示在证明 本身,但它们显示…序列符号。证明命令缩写在显示,但显示…序列和证明命令,可以在下面的显示中显示(单…
  • XPE

  • 1篇参考文献[SW28 724]
  • 便于排版的语法编辑器证明 用(TEX)。定理证明者可以从……中调用。提供了一个集成的环境证明搜索和编辑,有价值的教育目的…
  • 皮亚克

  • 1篇参考文献[SW21573]
  • 另外提供一个证明模式称为“证明 “具有以下特点:预览…
  • 整体性

  • 1篇参考文献[SW30124]
  • 元语言及其探求证明 利用神经网络增广BANDIT算法…
  • MPTP 0.2

  • 42篇参考文献[SW02589]
  • 记住(如果必要的话)从证明上下文)一阶实例是…只是一个翻译XML的XSLT样式表到TPTP语法。问题创造…基于前台训练的机器学习系统校样. 在329的这些病例中,新发现的…
  • 破坏者

  • 0篇参考文献[SW0596]
  • 用户证明。结果证明 出口到胶乳容易纳入…