• 阿格达

  • 引用191篇文章[sw09689]
  • 独立类型的函数式编程语言:它有归纳的家庭,类似于哈斯凯尔。。。
  • 莱尔斯

  • 参考文献121篇[sw08637]
  • 本文介绍了规则规则的系统LERS归纳. 系统处理输入中的不一致。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 理论,以及指定新的归纳的类型,为形式化提供一种表达语言。。。
  • VeriFast公司

  • 引用57篇文章[sw07705]
  • 操纵命令式程序。程序员可以声明归纳的数据类型和原始递归函数规范。。。通过明确的鬼魂陈述。引理函数使能归纳的记忆表征等价性和事实的证明。。。
  • 名义伊莎贝尔

  • 参考第70条[sw12055]
  • 相等的条件。我们也证明了自己的实力归纳已经有了通常的变量约定的原则。。。
  • 亚历夫

  • 引用了50篇文章[sw12108]
  • 提出假设(Aleph)。Aleph是个归纳的逻辑程序设计(ILP)系统。这本手册。。。麻瓜顿和L。De Raedt(1994年),归纳的逻辑程序设计:理论与方法,Jnl。逻辑编程。。。
  • 达夫尼

  • 引用66篇文章[sw00183]
  • sequential,支持泛型类、动态分配和归纳的数据类型,以及规范构造中的构建。。。
  • 保监会

  • 引用了40篇文章[sw06202]
  • 这一原理既概括了循环归纳,又概括了结构归纳可以用简单的英语来表达。。。变量,那么它就变成了一个结构归纳(关于那个变量)推导规则。这边,大约。。。支持共同生产和归纳作为一个更一般原则的投射。。。
  • 吹毛求疵

  • 参考61篇文章[sw00622]
  • 模型查找器。吹毛求疵支持无限量化(co)归纳的谓词和数据类型,以及(co)递归函数。。。
  • 焦点

  • 参考58篇文章[sw12868]
  • 谓词抽象中的谓词发现与计算归纳的不变量。。。
  • 傀儡

  • 引用52篇文章【sw24695】
  • 覆盖法中的rlggs。对于归纳对于单个子句,它随机选择。。。
  • 基辅

  • 引用51篇文章[sw10060]
  • 这次收购,KIV与归纳定理证明器和一个案例工具。。。
  • CVC公司

  • 引用47篇文章[sw09462]
  • 阵列理论辅助决策程序,归纳的数据类型和线性实数运算目前。。。
  • MPTP 0.2

  • 引用了45篇文章[sw02589]
  • 这种情况表明归纳的或是接受正规数学训练的演绎系统。。。
  • 科卡斯尔

  • 在26篇文章中引用[sw13076]
  • 允许在以下方面对系统进行建模归纳的数据类型以及co-归纳的...
  • 息肉

  • 引用31篇文章[sw09131]
  • 由定义的函数归纳关于用户定义数据类型的结构。这篇论文。。。
  • 引用31篇文章[sw24694]
  • 归纳逻辑程序:箔片和相关系统。箔片是一个第一级的学习系统。。。
  • 幻灯片

  • 引用18条[sw28542号文件]
  • 滑动分离逻辑归纳的定义。基于自动机的分离逻辑蕴涵检查归纳的... 用户提供分离逻辑中的蕴涵归纳的递归数据结构的定义(列表、树。。。
  • IsaPlanner公司

  • 引用了29篇文章[sw02047]
  • 在IsaPlanner中编写的证明技术是归纳的基于波纹的定理证明器。这个。。。