第1至第20个结果293
排序依据：

  • 水獭
  • 参考文献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]
  • 安全协议。罗望子校准仪支持自动化无界的，安全协议的符号分析。。。模型、属性和支持演绎以及等式推理。我们提供一个概述。。。