Chinese translation for "归纳类型"

intuitionistic type theory

Related Translations:

递减归纳:  descending induction

归纳观点:  linking ideas

归纳参数:  induction parameter

归纳反驳:  inductive refutation

归纳证明:  inductive proofproof by induction

归纳积:  reduced product

归纳分析:  inductive analysis

归纳泛化:  inductive generalization

归纳表:  table of induction

重载归纳:  overload induction

Similar Words：

"归纳集论拓扑" Chinese translation, "归纳假设" Chinese translation, "归纳建模法" Chinese translation, "归纳教学法" Chinese translation, "归纳解释" Chinese translation, "归纳论证" Chinese translation, "归纳论证的" Chinese translation, "归纳逻辑" Chinese translation, "归纳逻辑程序设计" Chinese translation, "归纳描述人物外貌和品质的词汇及方法" Chinese translation