摘要：证明恒定函数的各种方法的研究
作者：Antoine Delcroix (AOC, CRREF), Christian Silvy (CRREF)
论文ID：0809.0965
分类：History and Overview
分类简称：math.HO
提交时间：2008-10-29
PDF 下载： 英文版 中文版pdf翻译中