• Z轴

  • 引用274篇文章[sw10291]
  • 除了自然的 演绎微积分,见下文——仅介绍。。。关于自然的 演绎微积分,这不是进一步使用。。。
  • ETPS公司

  • 在153篇文章中引用[sw06302]
  • 各种学科的理论,演绎的这些学科的信息系统,专家系统。。。扩展证明,将这些转换为自然的 演绎证明,构造自然的 演绎校样,翻译自然的 演绎... 建设用TPS交互设施自然的 演绎证据被用在。。。
  • 测试程序集

  • 引用71篇文章[sw00973]
  • 各种学科的理论,演绎的这些学科的信息系统,专家系统。。。扩展证明,将这些转换为自然的 演绎证明,构造自然的 演绎校样,翻译自然的 演绎...
  • 乐高

  • 引用107篇文章[sw09685]
  • 交互式证据开发自然的 演绎风格。它支持精化证明作为基本。。。
  • 流浪汉

  • 引用了20篇文章[sw21343]
  • 将机器找样转换为自然 演绎断言级别的证明。流浪汉。。。一阶等价逻辑自然的 演绎断言级别的证明。通过这个。。。
  • 多日志

  • 17条引用[sw06604]
  • 产生一个连续的微积分,一个自然的 演绎系统,以及这个逻辑的从句形成规则。。。
  • 潘多拉

  • 引用9篇文章[sw01306]
  • 潘多拉(校对助理自然 演绎使用有组织的矩形区域)是一个学习支持工具。。。设计用于指导自然的 演绎证据。。。
  • 断言

  • 参考第6条[sw28906]
  • 肯定定理证明者是一个迭代的,自然的-演绎以抽象数据类型为中心的系统。因为。。。
  • 心理

  • 引用5篇文章[sw28518]
  • 逻辑推理规则自然的 演绎:它使用一个集中的顺序演算。。。
  • 谚语

  • 引用4篇文章[sw29672]
  • 机器发现的证据摘要自然的 演绎风格证明在适当的抽象层次。。。
  • 折叠式

  • 引用4篇文章[sw28611]
  • 语义,模型存在定理,a自然的 演绎证明微积分和一个证明。。。
  • 凯玛拉

  • 引用了40篇文章[sw03709]
  • 混合动力系统的验证工具演绎的实代数和计算机代数证明技术。。。自动交互式定理证明器自然的混合系统规范与验证逻辑。。。
  • 符号

  • 引用3篇文章[sw32623]
  • Fitch风格的形式证明自然的 演绎命题和谓词逻辑系统。。。
  • 1条引用[sw29686]
  • 自动化自然的 演绎校准器和实验。本文介绍了一些启发式方法和技巧。。。用于实现自动化自然的 演绎校准程序(ANDP),以及自然的 演绎改编自Gentzen。。。
  • GCLC公司

  • 引用了29篇文章[sw00326]
  • 存储可视化的数学内容自然以文本形式。在GCLC中,有一个构建。。。将视觉和语义几何信息与演绎的属性和机器生成的证明。。。
  • 德尔芬

  • 参考第18条[sw21365]
  • Delphin:函数式编程演绎的系统。我们提出了一个严格的。。。a中的证明和类型派生自然的直觉。。。
  • 基姆

  • 1条引用[sw19608]
  • 那些想要建造或使用演绎没有。。。替代;证明,包括决议和自然的 演绎样式。。。
  • 倾斜

  • 1条引用[sw24052]
  • 术语a代表自然的 演绎微积分。因为搜索空间。。。