• Z

• 270篇参考文献[SW1091]
• 除此之外自然 演绎微积分，见下文-仅介绍…宽泛乏味的论述自然 演绎微积分，它没有被进一步使用…

• 电除尘器

• 149篇参考文献[SW06302]
• 各种学科的理论，演绎的信息系统为这些学科，专家系统…扩展证明，翻译成自然 演绎证明、构造自然 演绎证明、翻译自然 演绎…TPS建设的互动设施自然 演绎在名称下使用了证明…

• TPS

• 68篇参考文献[SW0933]
• 各种学科的理论，演绎的信息系统为这些学科，专家系统…扩展证明，翻译成自然 演绎证明、构造自然 演绎证明、翻译自然 演绎…

• 乐高

• 106篇参考文献[SW09685 ]
• 交互式证明开发自然 演绎风格它支持求精证明作为一个基本的…

• 流浪汉

• 19篇参考文献[SW21343]
• 机器发现证据的转化自然 演绎断言级别的证明。流浪汉…一阶等价逻辑自然 演绎断言级别的证明。通过这个…

• 多原木

• 15篇参考文献[SW06604]
• 生成一个序列演算，A自然 演绎系统和该逻辑的子句形成规则…

• 潘多拉

• 9篇参考文献[SW01306]
• 潘多拉（证明助理）自然 演绎使用有组织的矩形区域是一个学习支持工具…设计指导施工自然 演绎证明…

• 断言

• 6篇参考文献[SW28 906]
• 肯定定理证明器是一个相互作用的，自然-演绎以抽象数据类型为中心的系统。因为…

• 谚语

• 4篇参考文献[ SW29 672 ]
• 机器发现证据摘要自然 演绎风格证明在一个适当的抽象水平…

• FOL拟合

• 4篇参考文献[SW28 611]
• 语义学，模型存在定理自然 演绎证明微积分连同证明…

• 普赛克

• 3篇参考文献[SW28 518]
• 逻辑推理规则自然 演绎它代替了一个有重点的序列演算…

• 凯玛拉

• 34篇参考文献[SW03709]
• 混合系统的验证工具演绎的实代数和计算机代数证明器技术…自动和交互式定理证明器自然混合系统的规范和验证逻辑…

• 安德普

• 1篇参考文献[SW29 66]
• 自动化的自然 演绎证明器和实验。本文提出了启发式算法和技术。用于实现自动化自然 演绎证明者（ANP）自然 演绎改编自Gentzen…

• 不可思议的证明机器

• 2篇参考文献[SW28 840]
• 一样强大自然 演绎…

• GCLC

• 28篇参考文献[SW0326]
• 视觉的数学内容存储自然以文本形式。在GCLC，有一个建筑…链接视觉和语义几何信息演绎的性能和机器产生的证据…

• 德尔芬

• 16篇参考文献[SW21365 ]
• Delphin：函数式编程演绎的系统我们提出了严格的设计和实现。A中的证明和定式推导自然直观的…

• 凯姆

• 1篇参考文献[SW1960]
• 想要建造或使用的人演绎没有……的系统（如分辨率定理证明器）替换，证明，包括分辨率和自然 演绎风格

• 倾斜

• 1篇参考文献[SW24052]
• 术语表示自然 演绎微积分。自从搜索空间…

• 真廖

• 2篇参考文献[SW24045 ]
• 树结构形式自然 演绎喜欢风格…

• 马尔萨斯

• 41篇参考文献[SW1078]
• 推理是一个简单的元系统迭代组合。演绎的自动推理工具…关于这个问题提出了一些有趣的问题自然特别是关于…的思考