>

inductive assertion method

📖 中文释义

  1. [计] 归纳断言法