數(shù)學(xué)機械化研究中心成立
吳文俊傳

數(shù)學(xué)機械化研究中心成立圖片（共1張） :

        1990年年初,北京大學(xué)教授、數(shù)學(xué)家程民德主持編寫了一份介紹機器證明研究在國際上的巨大反響的材料,內(nèi)容包括國際著名學(xué)者對吳文俊的研究成果的贊譽;國外學(xué)術(shù)期刊登載的吳文俊的論文及專集介紹、研究吳文俊的成果;吳方法在國    （共 743 字）     [閱讀本文] >>