你即將離開本站

並前往https://coq.discourse.group/t/induction/240

术语：induction - 翻译- Coq

在Coq 中，induction 策略的理论基础为structural induction，中文维基称其为“结构归纳法”。但“归纳”二字易同“归纳推理”混淆。诚然英语亦面临此问题， ...

確定！ 回上一頁

查詢 「induction中文」的人也找了：

  1. induction中文醫學
    2.
  2. induction中文電磁爐
    3.
  3. induction中文生物
    4.
  4. induction電磁爐
    5.
  5. induction意思
    6.
  6. induction cooker中文
    7.
  7. induction醫學
    8.
  8. deduction中文
    9.