[数]?归纳断言
... assertion checker 断言检查程序... inductive assertion 归纳断言 invariant assertion 不变断言 ...
数 归纳断言法
性的归纳断言
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。