×

结构归纳法 meaning in Chinese

structural induction
structured induction

Examples

  1. 8 feng s , cao s , liu s . mechanizing weak termination proving of term rewriting systems by induction . in proc
    本方法是对基于结构归纳法和项重写的弱终止性形式自动证明方法的扩展。

Related Words

  1. 归纳法
  2. 数学归纳法
  3. 归纳法原则
  4. 归纳法公设
  5. 逐次归纳法
  6. 规则归纳法
  7. 完全归纳法 数学归纳法
  8. 归纳法规则
  9. 归纳法纠错
  10. 完全归纳法
  11. 结构硅酮密封胶
  12. 结构归纳
  13. 结构归纳法原理
  14. 结构归纳问题
PC Version

Copyright © 2018 WordTech Co.