• Z

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

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

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

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

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

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

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

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

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

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

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

  • 3篇参考文献[SW32623 ]
  • 惠誉风格的形式证明自然 演绎命题逻辑和谓词逻辑系统
  • 凯玛拉

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

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

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

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

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

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