• 水獭

  • 参考文献310[sw02904]
  • 现在的自动化 演绎奥特定理首先是为了证明系统。。。
  • 马拉雷亚

  • 引用了43篇文章[sw10278]
  • 简单元系统迭代组合演绎的 自动化推理工具(现在的E和SPASS。。。
  • ETPS公司

  • 在153篇文章中引用[sw06302]
  • 证明包括硬件和软件验证,部分自动化各种数学活动,促进发展。。。各种学科的理论,演绎的这些学科的信息系统,专家系统。。。
  • 可悲的

  • 在14篇文章中引用[sw09796]
  • 系统自动化 演绎(SAD):一种验证证据的工具。在这篇论文中,一个证明。。。
  • 原因3

  • 引用126篇文章[sw04438]
  • 为什么3是一个平台演绎的程序验证。它为规范提供了丰富的语言。。。依赖于外部定理证明,两者都自动化并进行交互,达到放电验证条件。为什么3来了。。。
  • 口吃

  • 参考第9条[sw22200]
  • 证明理论和自动化 演绎. 与…对比自动化交互定理。。。
  • 测试程序集

  • 引用71篇文章[sw00973]
  • 证明包括硬件和软件验证,部分自动化各种数学活动,促进发展。。。各种学科的理论,演绎的这些学科的信息系统,专家系统。。。
  • 赫比

  • 参考6篇文章[sw21545号]
  • 参加了关于自动化 演绎的比赛。源鳕鱼进化了。。。
  • 梅拉·凯伊

  • 引用了40篇文章[sw03709]
  • 联合收割机演绎的实代数和计算机代数证明技术。它是一个自动化和互动。。。
  • 流浪汉

  • 引用了20篇文章[sw21343]
  • 几个自动化一阶逻辑的自然等价定理证明器演绎证据。。。
  • F*

  • 引用19篇文章[sw27563]
  • 自动化支持SMT演绎的具有表达能力的验证工具。。。
  • 数据中心

  • 引用3篇文章[sw26325]
  • 系统数据处理自动化 演绎一阶逻辑中的等式。它的特色。。。
  • GEX公司

  • 参考33篇文章[sw09961]
  • 学习各种数学概念。作为一个自动化推理软件,我们可以建立动态逻辑。。。过去二十年,包括演绎的基法、吴氏法、面积法。。。角度法。使用这些方法,用户可以自动化证明几何定理,发现新的定理。。。
  • 圣杯

  • 参考7篇文章[sw24229]
  • 范畴逻辑的片段。圣杯是自动化基于证明网的定理证明器。。。基于图的证明表示,并标注演绎...
  • 德克提

  • 引用16条[sw13663]
  • 演绎模数:G.Dowek,Th。Hardin,C.Kirchner,定理证明模,杂志自动化推理。。。
  • 卡片

  • 参考第1条[sw01599]
  • 卡片:自动化多模态演绎用于多应用程序安全的Java卡。我们描述。。。要执行的Java程序自动化 演绎在命题多模逻辑的Java智能。。。
  • 基姆

  • 参考第1条[sw19608]
  • 凯姆:一个工具箱自动化 演绎. KEIM是一个软件模块的集合,写。。。用于实现自动化推理系统。凯姆是用来。。。那些想要建造或使用演绎没有。。。
  • 安得普

  • 参考第1条[sw29686]
  • 自动化自然的演绎校准器和实验。文中介绍了启发式技术。。。用于实现自动化自然的演绎prover(ANDP),自然演绎改编自Gentzen。。。
  • 罗望子

  • 参考12篇文章[sw23438]
  • 安全协议。罗望子校准仪支持自动化无界的,安全协议的符号分析。。。模型、属性和支持演绎以及等式推理。我们提供一个概述。。。