subproofs

网络释义

1.	子证明题」，「引入外部知识」、「构建视觉图像」、或「发展子证明（subproofs）」。整个证明也可能 nutnr.lib.nutn.edu.tw

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。