广义数学归纳法证明程序的正确性* (1994年)

【文件属性】：
文件名称：广义数学归纳法证明程序的正确性* (1994年)
文件大小：246KB
文件格式：PDF
更新时间：2021-05-09 22:05:39
自然科学 论文 本文给出程序正确性证明的一种代数方法—广义数学归纳法。