结果1至20172
排序依据：

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

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

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

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

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

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

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

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

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

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

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

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

  • 符号
  • 引用3篇文章[sw32623]
  • Fitch风格的形式证明自然的 演绎命题和谓词逻辑系统。。。

  • 安得普
  • 1条引用[sw29686]
  • 自动化自然的 演绎校准器和实验。本文介绍了一些启发式方法和技巧。。。用于实现自动化自然的 演绎校准程序（ANDP），以及自然的 演绎改编自Gentzen。。。

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

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

  • 基姆
  • 1条引用[sw19608]
  • 那些想要建造或使用演绎没有。。。替代品；证明，包括决议和自然的 演绎样式。。。

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