• 逆合成孔径雷达

  • 134篇参考文献[SW04999 ]
  • 这种半例子自动化的 推理系统包括COQ,PVS,HOL,和伊莎贝尔…矛盾的是,现有的半自动化的 推理系统有足够的基本概念…只需维护即可。可理解的半自动化的 推理(伊萨尔河)方法可读正式证明文件集…逻辑,并集成了广泛的自动化的证明方法。支持交互式证明开发…
  • 低周疲劳寿命

  • 151篇参考文献[SW08360]
  • 在计算机辅助中形成一个繁荣的范例推理. 最近的许多发展…对……的认识自动化的 推理一直是多样而深刻的…
  • NQTHM

  • 138篇参考文献[SW075 43]
  • 逻辑及其定理证明器〔J〕自动操作系统.推理4,2,117-172(1988)]。然而。。。
  • RRL

  • 55篇参考文献[SW28 904]
  • 实验环境自动化的 推理基于重写技术的等式逻辑算法困难和挑战性的数学问题自动化的 推理文学也是一种研究工具…
  • 马尔萨斯

  • 40篇参考文献[SW1078]
  • MaLARea:一个元系统自动化的 推理在很大的理论上。MaLARea(机器学习者)自动化的简单元系统迭代组合演绎法自动化的 推理工具(现在是E和SPASS……
  • GEX

  • 31篇参考文献[SW09961]
  • 各种数学概念。作为一个自动化的 推理软件,我们可以建立动态逻辑模型…几何有效方法推理介绍过去二十年,包括…角度法。通过这些方法,用户可以自动化的证明几何定理,发现新的性质…
  • HR

  • 29篇参考文献[SW1092]
  • 人力资源管理的应用自动化的 推理包括约束满足问题的约束生成…引理的生成自动化的定理证明和基准定理的产生…
  • 美泰普尔

  • 26篇参考文献[SW04624]
  • 支持交互式证明和自动化的 推理. Meta普尔的一个主要特征…
  • 数学网站

  • 18篇参考文献[SW1093]
  • 分布式数学的MaWEB软件总线推理.自动化的 推理系统已经达到了很高的程度…过去十年。许多推理任务可以委托给自动化的定理证明器…除了自己的开发商以外的人。这个原因因为这似乎是…
  • RSAT

  • 21篇参考文献[SW13117]
  • RSAT是由加州大学洛杉矶分校开发的自动化的 推理群组
  • 霍利默

  • 18篇参考文献[SW11553]
  • 那就是,服务使用几个自动化的 推理系统结合多种前提选择方法训练…
  • 闪耀

  • 14篇参考文献[SW09803]
  • 基于懒惰图重写。这允许推理在节目本身上发生…使用不同的概念。其次,闪光灯支持自动化的 推理. 琐碎的目标将被自动抛弃…
  • 萨米

  • 12篇参考文献[SW29 86]
  • 用Java开发的网络自动化的 推理加州大学洛杉矶分校Adnan Darwiche教授小组
  • 真实的

  • 10篇参考文献[SW22187]
  • Vrimun是一个推理系统的核查程序的书面陈述简单…易于使用的教学系统自动化的 推理,语义,验证和类似的主题…
  • 电除尘器

  • 149篇参考文献[SW06302]
  • 证明包括硬件和软件验证,部分自动化各种数学活动,促进发展…这些学科,专家系统,可以原因以及人工智能的某些方面…
  • 光环

  • 9篇参考文献[SW07015]
  • 定理证明器:灵光的化身自动化的 推理助理…
  • MMP/GEMS

  • 13篇参考文献[SW0584]
  • MMP/Gealm——一个软件包自动化的几何推理. 我们介绍了一个软件包,MMP/几何,开发…
  • A3PAT

  • 7篇参考文献[SW21588]
  • 证实自动化的终止证明。软件工程,自动化的 推理基于规则的编程或规范常常…发现并进一步证明自动化术语重写系统的终止证明。它包括…