• 水獭

  • 301篇参考文献[SW02904]
  • 现在的自动化的 演绎系统水獭的设计是为了证明一阶逻辑中所陈述的定理…
  • 马尔萨斯

  • 41篇参考文献[SW1078]
  • 简单元系统迭代组合演绎的 自动化的推理工具(现在的E和SPASS…
  • 电除尘器

  • 149篇参考文献[SW06302]
  • 证明包括硬件和软件验证,部分自动化各种数学活动,促进发展…各种学科的理论,演绎的信息系统为这些学科,专家系统…
  • 悲伤的

  • 14篇参考文献[SW0996]
  • 系统自动化的 演绎(SAD):证明验证工具。本文证明了…
  • WHY3

  • 120篇参考文献[ SW044 38 ]
  • WHY3是一个平台演绎的程序验证。它为规范提供了丰富的语言。依赖于外部定理证明者自动化的与交互、放电验证条件。WH3来了…
  • TPS

  • 68篇参考文献[SW0933]
  • 证明包括硬件和软件验证,部分自动化各种数学活动,促进发展…各种学科的理论,演绎的信息系统为这些学科,专家系统…
  • GAPT

  • 6篇参考文献[SW22200 ]
  • 证明理论中常见的成分自动化的 演绎. 与…对比自动化的和交互定理…
  • 埃尔比

  • 6篇参考文献[SW21545 ]
  • 参加了会议自动化的 演绎比赛。源鳕鱼进化了…
  • MKBTT

  • 5篇参考文献[SW10018]
  • 完成是一个经典的演算。自动化的 演绎将一组方程转化为…
  • 凯玛拉

  • 34篇参考文献[SW03709]
  • 组合演绎的实代数和计算机代数证明器技术。这是一个自动化的和互动…
  • 流浪汉

  • 19篇参考文献[SW21343]
  • 几个自动化的一类等价于自然的一阶逻辑的定理证明演绎证明…
  • F*

  • 18篇参考文献[SW27 563]
  • 放在一起自动化支持SMT的演绎的具有表现力的验证工具…
  • 数据传输协议

  • 3篇参考文献[SW26325]
  • 系统DATAC是要做的自动化的 演绎在一阶逻辑中具有相等性。它的特殊性…
  • 圣杯

  • 7篇参考文献[SW24229 ]
  • 范畴逻辑的片段。圣杯是一种自动化的基于证明网的定理证明器…基于图的证明和标记的表示演绎
  • GEX

  • 31篇参考文献[SW09961]
  • 学习各种数学概念。作为一个自动化的推理软件,我们可以建立动态逻辑…过去二十年,包括演绎的基本方法、吴方法、面积法…角度法。通过这些方法,用户可以自动化的证明几何定理,发现新的性质…
  • 卡特克

  • 1篇参考文献[SW01599 ]
  • CardKt:自动化的多模态演绎基于Java的多应用程序安全卡。我们描述…Java程序执行自动化的 演绎在JAVA Smart的命题多模态逻辑中…
  • 凯姆

  • 1篇参考文献[SW1960]
  • Keim:一个工具包自动化的 演绎. KEIM是一个软件模块的集合,写…用于实现自动化的推理系统。凯姆打算用…想要建造或使用的人演绎没有……的系统(如分辨率定理证明器)
  • 德杜克蒂

  • 13篇参考文献[SW13663]
  • 演绎Modulo:G. Dowek,T.哈丁,C. Kirchner,定理证明模,学报自动化的推理。。。
  • 安德普

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

  • 24篇参考文献[SW09709]
  • 现在WHY3,一个工具演绎的程序验证,WHYML,其编程和规范语言…WHY3在各种现有的帮助下自动化的和交互式定理证明器。为了保持验证…