Англійська ⇄ Іспанська Італійська Грецька Данська Китайська Нідерландська Німецька Португальська Французька +

inductive assertion method
косм.	归纳断言法 (一种正确性证明技术)
IT	★ 归纳断言法; 归纳断言方法