• 阿加达

  • 168篇参考文献[SW0969]
  • 依赖类型的函数式编程语言:它有归纳法家庭,类似于哈斯克尔…
  • 勒尔斯

  • 116篇参考文献[SW08637 ]
  • 介绍了规则系统归纳. 该系统处理输入中的不一致性。
  • 乐高

  • 106篇参考文献[SW09685 ]
  • 理论和指定新事物的支持归纳法类型,提供形式化的表达语言…
  • 验证程序

  • 54篇参考文献[SW07705]
  • 操纵命令程序。程序员可以声明归纳法规范的数据类型和原始递归函数…通过显式鬼语句。引理函数使能归纳法记忆表示的等价性和事实证明…
  • 中国保监会

  • 40篇参考文献[SW06202]
  • 原理概括了圆形共诱导和结构。归纳可以用简单的英语表达…变,然后变成结构归纳(关于该变量)推导规则。这样,CIRC…支持共诱导和归纳作为一个更一般的原则的预测…
  • 达夫尼

  • 60篇参考文献[SW0183]
  • 序列化,支持泛型类、动态分配和归纳法数据类型,并在规范构造中构建…
  • 阿列夫

  • 42篇参考文献[SW12108]
  • 提出假设(ALEFP)。阿列夫是一个归纳法逻辑编程(ILP)系统。本手册…穆格尔顿和L. De Raedt(1994)归纳法逻辑程序设计:理论与方法,JNL。逻辑编程…
  • 病灶

  • 58篇参考文献[SW12868 ]
  • 谓词抽象中谓词的发现与计算归纳法不变量…
  • 挑剔

  • 53篇参考文献[SW0622]
  • 模型查找器NITPICK支持无界量化,(CO)归纳法谓词和数据类型,和(CO)递归函数…
  • 傀儡

  • 51篇参考文献[SW24695]
  • 在覆盖方法中的RLGGS。对于归纳在一个从句中,它随机选择…
  • 基辅

  • 50篇参考文献[SW10060]
  • 这种嘌呤、KIV与AN结合在一起。归纳定理证明器和CASE工具…
  • 氯化铯

  • 47篇参考文献[SW09462]
  • 数组理论的辅助决策过程,归纳法数据类型和线性实数运算是当前…
  • MPTP 0.2

  • 43篇参考文献[SW02589]
  • 这种情况表明,即使是简单的归纳法或在形式数学上训练的演绎系统…
  • 息肉

  • 31篇参考文献[SW09131]
  • 定义的函数归纳关于用户定义的数据类型的结构。本文…
  • 30篇参考文献[SW24694]
  • 归纳逻辑程序:箔和相关系统。箔是一阶学习系统…
  • 规划师

  • 29篇参考文献[SW02047 ]
  • 在IsaPlanner编写的证明技术是归纳法基于纹波的定理证明器。
  • 玻片

  • 16篇参考文献[SW28 52]
  • 幻灯片分离逻辑归纳法定义基于自动机的分离逻辑蕴涵检测归纳法用用户提供的分离逻辑中的蕴涵归纳法递归数据结构的定义(列表、树……)