最大公因子:从经典证明中提取程序的案例研究

乌尔里希·伯杰,赫尔穆特·施维赫滕贝格.最大公约数:从经典校对中提取程序的案例研究.斯特凡诺·贝拉迪,马里奥·科波奥,编辑,校对和程序类型,国际工作坊Types 95,意大利都灵,1995年6月5日至8日,论文集.第1158卷,共页计算机科学课堂讲稿,页36-46,施普林格,1995 [美国国防部]

摘要

缺少摘要。