吴文俊：从寓理于算到机器证明

• 书名：论吴文俊的数学史业绩
• 作者名：纪志刚 徐泽林
• 本章字数：1785字
• 更新时间：2021-03-28 07:36:41