• 荷兰语

  • 引用556篇文章[sw05492]
  • 较高的 命令逻辑(HOL)是一个编程环境,在这里可以证明定理。。。
  • 霍尔灯

  • 引用299篇文章[sw06580]
  • 交互式经典证明助手较高的-秩序逻辑,作为一个简洁的版本。。。
  • ETPS公司

  • 引用158篇文章[sw06302]
  • 自动定理证明器-秩序逻辑与类型论。后者。。。第一和定理的证明较高的-秩序逻辑交互的,自动的,或混合的。。。证明和解决统一问题较高的-秩序逻辑。它有一个公式编辑器。。。
  • 大锤

  • 参考文献124篇[sw07047]
  • 首先利用外部的工具-秩序自动定理证明者(ATP)履行交互证明义务。。。萨塔拉克斯,最突出的两个较高的-秩序ATPs,提高其在较高的-秩序问题。。。
  • 木桶

  • 第174条引用[sw02235]
  • 各种亚语言。它扩展到较高的-秩序、基于状态的、并发的和其他语言。。。
  • 低成本

  • 在157篇文章中引用[sw08360]
  • 校对助理较高的 秩序逻辑最初是为硬件推理而开发的。。。
  • 普罗斯特

  • 引用151篇文章[sw12822]
  • Navier-Stokes解算器和较高的 秩序界面平流方案。与界面的曲率。。。
  • 口齿不清

  • 引用126篇文章[sw07201]
  • 自动存储管理、动态键入、条件语句,较高的-秩序函数、递归和自托管编译器。。。
  • ICALAB公司

  • 参考109篇文章[sw15047]
  • 独立成分分析)采用HOS(较高的 秩序统计),BSS(盲源分离)采用SOS(第二。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 非正式数学。这个较高的-秩序其潜在类型理论的力量。。。
  • GHC公司

  • 参考文献103篇[sw06691]
  • Glasgow Haskell编译器内联线。较高的-秩序像Haskell这样的语言鼓励程序员构建。。。
  • 测试程序集

  • 引用71篇文章[sw00973]
  • 自动定理证明器-秩序逻辑与类型论。后者。。。第一和定理的证明较高的-秩序逻辑交互的,自动的,或混合的。。。证明和解决统一问题较高的-秩序逻辑。它有一个公式编辑器。。。
  • 利奥二世

  • 引用51篇文章[sw00512]
  • 独立,基于分辨率较高的-秩序定理证明器设计用于与专家证明者的有效合作。。。自然碎片较高的-秩序逻辑。目前LEO-II可以与TPTP兼容。。。第一个-秩序自动定理证明器,如E,SPASS,Gandalf和Vampire。世界冠军。。。分部(自动化较高的-秩序逻辑)在CASC-J5。在卡斯特。。。
  • 高阶逻辑

  • 引用47篇文章[sw01580]
  • HiLog:为较高的-秩序逻辑编程。我们描述了一种新的逻辑,叫做HiLog。。。传统谓词逻辑。HiLog有一个较高的-秩序语法和允许任意术语出现。。。谓词演算。但它的语义是第一位的-秩序并承认了一个可靠而完整的证据。。。讨论了HiLog,包括DCG语法,较高的-秩序模块化逻辑编程和演绎数据库。。。
  • 沙塔拉

  • 引用的第52条[sw06849]
  • 自动定理证明器较高的-秩序逻辑。特定形式的较高的-秩序支持逻辑。。。
  • 皮克特

  • 引用71篇文章[sw08929]
  • 数据结构,返回结果的协议,较高的-秩序编程、选择性通信和并发对象。。。
  • Coq/S参考

  • 引用69篇文章[sw09360]
  • 颜色定理和利用较高的-秩序柯克的基本逻辑。。。
  • 吹毛求疵

  • 参考61篇文章[sw00622]
  • 基于KOD的SAT构建-秩序关系模型查找器。吹毛求疵支持无限量化。。。与其他模型查找者相比的反例较高的-秩序逻辑,没有形式上的限制。。。
  • 证明力

  • 引用57篇文章[sw06339]
  • 工具基于较高的 命令逻辑(HOL),遵循LCF范式。。。
  • DiffSharp公司

  • 引用了40篇文章[sw16033]
  • 雅可比向量积)的应用较高的-秩序函数,也就是说,需要其他函数的函数。。。意思是你可以精确计算较高的-秩序内部的导数或微分函数。。。