吴文俊全集 数学机械化卷 III 作者：吴文俊 著；高小山编订出版时间： 2019年版内容简介　　本卷收录了吴文俊的《数学机械化》一书。《吴文俊全集·数学机械化卷III》是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。《吴文俊全集·数学机械化卷III》试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。　　《吴文俊...

上一篇：吴文俊全集 数学机械化卷I 吴文俊 著；高小山编订 2019年版
下一篇：吴文俊全集 数学机械化卷v 吴文俊 2019年版