• RRL

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

  • 25篇参考文献[SW12159]
  • 推理关于密码体制满足不同密码协议的安全性均等的性能支持NRL的原始协议分析器均等的 推理以更有限的方式。Maude…会议与不同的支持均等的理论上,有必要发展方法…
  • 情商

  • 12篇参考文献[SW15620]
  • 匹配,各种策略均等的 推理和快速搜索。似乎表演…
  • 论证者情商

  • 8篇参考文献[SW0942]
  • 基于叠加的改进系统均等的 推理并保持了鲜明的特色。求解器。一阶推理采用饱和算法,利用冗余消除…简化推理。我们描述了均等的 推理因为它是在iFracter中实现的…
  • 塔玛林

  • 11篇参考文献[SW23 438 ]
  • 对有效扣除的支持均等的 推理. 我们提供了一个工具的概述…
  • UG

  • 185篇参考文献[SW0496]
  • 偏微分方程的数值解法方程已经研制成功。我们特别感兴趣的自适应…商业代码使用它们。有两个原因为此。首先,多重网格解…
  • 张紧

  • 28篇参考文献[SW0956]
  • 方程和未知的情况下合理的计算雅可比矩阵…
  • 索伊辛

  • 3篇参考文献[SW0631]
  • 支持高阶逻辑,字母表,均等的 推理和“谓语程序”的风格…
  • UTP2

  • 3篇参考文献[SW0632]
  • 支持高阶逻辑,字母表,均等的 推理和“谓语程序”的风格…
  • FMMLB2D

  • 21篇参考文献[SW1286]
  • 亥姆霍兹方程式在自由空间中。这些代码易于使用和合理地很好地优化了…
  • 4篇参考文献[SW21857 ]
  • 现行绞刑,判决程序原因关于方程字符串变量。我们的方法尺度…
  • 4DVAR

  • 12篇参考文献[SW034 77 ]
  • 简单原因,因为它不需要任何线性化,或伴随。方程式或最小化过程…
  • Java+ITP

  • 8篇参考文献[SW32 259]
  • 片段作为均等的理论在Maude。它支持作文推理在霍尔逻辑中…
  • 应用提升

  • 1篇参考文献[ SW28 58]
  • 类型,如由欣泽所观察到的。因此,均等的 推理过度有效的计算可以减少…举升证明方法方程过应用函子。第一种方法规范应用表达式…
  • 麦迪克斯

  • 1篇参考文献[ SW28 631 ]
  • 最大有序完成工具。这个均等的 推理工具M.DMAX实现最大有序完成。广川(2011)下令完成均等的定理证明MD DMAX结合了强大的地面完整性检查…
  • 特里斯

  • 45篇参考文献[SW05197]
  • 线性化状态方程式伴随方程式. 它们非常适合大规模的问题…试验条件温和。合理的但更严格,条件二次…非线性热控制问题方程式据报道…
  • 切尼金凯德

  • 25篇参考文献[SW11656]
  • 已重新排序的逻辑和教学原因. 关于浮点数表示的讨论…解线性系统的一章方程. 关于概念和符号的新附录…
  • 雅帕

  • 18篇参考文献[ SW0739 ]
  • 计算入侵者知识的通用工具。推理关于攻击者的知识…微积分,类似于基于相似语言的均等的逻辑,知识通常表示…
  • 迈克

  • 15篇参考文献[SW08625]
  • 以耦合方式进行研究。为此原因迈克3流模型FM软件包…三维浅水的求解方程考虑到温度的变化,ECOLAB…