induction variable substitution的意思|示意

美 / / 英 / /

感应变数替代

感应变数替代 ... 感应变数 induction variable 感应变数替代 induction variable substitution 归纳主张 inductive assertion ...