• 荷兰语

  • 引用489篇文章[sw05492]
  • 内置决策程序和定理 校准器可以自动建立许多简单的定理. 先知。。。
  • 吸血鬼

  • 在233篇文章中引用[sw02918]
  • 吸血鬼8.0,[RV02,Vor05]是一个自动的 定理 校准器对于一阶经典逻辑。。。
  • 佩斯卡

  • 引用127篇文章[sw13664]
  • 编辑和校对自动的 定理 校准器. 用Pesca构造的证明可以。。。
  • 大锤

  • 引用116篇文章[sw07047]
  • 利用外部一阶的工具自动的 定理 校准器(ATPs)履行交互证明义务。。。
  • CVC4

  • 在102篇文章中引用[sw09485]
  • CVC4是一种高效的开源软件自动的 定理 校准器对于可满足模理论(SMT)问题。。。
  • cvc3

  • 引用84篇文章[sw04886]
  • CVC3是一种自动的 定理 校准器可满足模理论(SMT)问题。CVC3。。。
  • 梅蒂斯_

  • 引用了53篇文章[sw04439]
  • 梅蒂斯是个自动的 定理 校准器对于具有Metis等式特征的一阶逻辑。。。
  • 分析

  • 引用31篇文章[sw10478]
  • 校准器为了Mathematica。分析是一个自动的 定理 校准器对于定理在元素分析中。。。校准器是用Mathematica语言编写的,并在Mathematica环境中运行。目标。。。超出了之前的范围自动的 定理 校准器. 这个定理 校准器也可以。。。
  • 尖峰

  • 参考22篇文章[sw10186]
  • 斯派克,安自动的 定理 校准器...
  • 地球物理学

  • 引用24篇文章[sw06216]
  • 集成了动态几何软件(DGS),自动的 定理 校准器(ATP)和几何知识库。。。
  • 捣碎

  • 引用21篇文章[sw08206]
  • 大锤的机器学习。大锤集成自动的 定理 校准器伊莎贝尔助理。。。
  • 塞塔

  • 引用42篇文章[sw06584]
  • 使用CeTA的终止证明。有很多自动的证明术语重写终止的工具。。。本文使用定理 校准器伊莎贝尔/霍尔托自动证明终止证明。为了这个。。。
  • TVOC公司

  • 引用19篇文章[sw02521]
  • 验证条件使用自动的 定理 校准器CVC Lite。。。
  • 萨帕托

  • 参考11篇文章[sw25425]
  • 过程应用于软件自动的 定理 校准器对于无量词的一阶逻辑。。。报告快速、轻量级和自动的 定理 校准器我们造的叫萨帕托。。。
  • 梅塔尔斯基

  • 引用49篇文章[sw00573]
  • 证明自动梅蒂塔斯基:决议定理 校准器(Metis)修改为调用决策过程。。。
  • 替代物

  • 引用15篇文章[sw04888号]
  • 因此自动的 定理 校准器致力于程序验证。一切都是基于。。。
  • 有说服力

  • 在14篇文章中引用[sw01300]
  • Slam和ESC/Java依赖自动的 定理 校准器. 现有的定理 校准器,例如简化。。。
  • 电子男性

  • 引用9篇文章[sw15190]
  • 对成功自动的 定理 校准器. 电子男性是一个元系统。。。
  • 阿拉

  • 引用5篇文章[sw08504]
  • 系统描述:ARA--an自动的 定理 校准器代数的关系。ARA是个自动的 定理...