结果1～20一百六十四
分类方式

  • 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]
  • 术语表示自然 演绎微积分。自从搜索空间…