• 再见

  • 引用49篇文章[sw12088]
  • 支持逻辑、约束、功能的语言,较高的-秩序,以及面向对象编程样式。它的主要。。。
  • dcc公司

  • 引用了35篇文章[sw07577]
  • 第一代较高的-秩序正切线性伴随码。作者包括。。。示例和练习;*第一-和较高的-秩序有限元的切线线性模式和伴随模式。。。
  • 引用了35篇文章[sw12334]
  • 支持写作、推理和提取较高的-秩序,具有副作用的独立键入程序。。。要构建的Coq抽象机制较高的-层次推理机制反过来。。。有限映射,包括对较高的-秩序(有效的)迭代器。实现范围从简单。。。
  • FDL3DI

  • 引用了45篇文章[sw24948号]
  • 在FDL3DI中实现。一系列较高的-秩序提出了解决导航问题的方案。。。
  • 蛤蜊

  • 引用24篇文章[sw19614]
  • 支持校样规划的系统较高的-秩序域:系统描述:校对规划较高的... λClam系统在校样规划中的应用较高的-秩序逻辑。应用的有效性和可行性。。。较高的-秩序对一些类型的问题,特别是。。。硬件系统。使用较高的-秩序元理论克服了在蛤蜊中遇到的问题,因为。。。
  • 边疆

  • 引用了45篇文章[sw12957]
  • 曲率和法向算法和较高的 秩序传播算法,用于比较研究。。。
  • GHC公司

  • 引用的第43条[sw23765号]
  • 多处理。除了缺少较高的-秩序设施,GHC可以查看。。。
  • 魅力

  • 引用36篇[sw02957]
  • 基函数秩序(分段线性,较高的 秩序B样条曲线、循环细分等)。最终的结果是。。。
  • 空气

  • 参考33篇文章[sw40028]
  • 自动积分还原较高的 命令扰动计算。我们提出了一个减少。。。
  • 息肉

  • 参考33篇文章[sw09131]
  • 琼斯的合格类型理论和较高的-秩序多态性。程序的语义。。。
  • 欧米茄

  • 引用32篇文章[sw19623]
  • Ωmega:一个定理证明器较高的-秩序基于证明计划的逻辑。。。
  • 哈斯卡斯

  • 17条引用[sw00399]
  • HasCasl:集成较高的-秩序说明和程序开发我们给出了HasCasl的设计。。。较高的-秩序代数规范语言Casl的扩展,它同时作为一个广泛的。。。表达标准语言较高的-秩序逻辑。HasCasl的显著特点包括较高的-秩序... 功能,较高的-秩序子类型化、浅多态性和扩展类型类机制。此外,HasCasl提供。。。
  • 利普德

  • 引用31篇文章[sw01216]
  • 点接触广义较高的 秩序对称性。解决了对称条件超定系统的问题。。。
  • IsaPlanner公司

  • 引用了30篇文章[sw02047]
  • 这适用于伊莎贝尔较高的 命令逻辑,而且可以很容易地适应。。。
  • 只读存储器

  • 引用了30篇文章[sw30140]
  • 使用保守的抛物线样条函数;较高的-秩序,拟单调平流算法。定量的例子。。。
  • 循环

  • 引用了29篇文章[sw10292]
  • Java)中的类较高的 秩序逻辑。它作为一个幌子。。。
  • 换乘

  • 27条引用[sw21009]
  • 在形式推理中无处不在较高的-秩序逻辑。通常,用户希望建立一个库。。。
  • 举起

  • 27条引用[sw21010]
  • 在形式推理中无处不在较高的-秩序逻辑。通常,用户希望建立一个库。。。
  • 帕德格

  • 引用19篇文章[sw18743]
  • 较高的-秩序含相变的可压缩液汽两相流数值模拟方案。带着。。。现代数值技术,如较高的 秩序间断伽辽金格式,局部网格自适应,并行化。。。