英语 ⇄ 中文 丹麦语 希腊语 德语 意大利语 法语 荷兰语 葡萄牙语 西班牙语 +

inductive assertion method
信息技术	★ 归纳断言法; 归纳断言方法
空间	归纳断言法 (一种正确性证明技术)