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

【文件属性】：

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

文件大小：246KB

文件格式：PDF

更新时间：2024-05-29 15:52:19

自然科学 论文

本文给出程序正确性证明的一种代数方法—广义数学归纳法。