归纳定义
- 网络inductive definition; Inductive Definitions
归纳定义归纳定义
inductive definition
...defined）数据集 可以令子问题的获得更为简单。归纳定义的数据集是根据自身定义的数据结构 —— 这叫做归纳定义（inducti…
Inductive Definitions
...Construct, 简称 CC) [5]通过扩充归纳定义 （Inductive Definitions）得到，做为一种典型的类型化λ 演算，CiC 的可靠性证 明 …
1
2