吴文俊著2010 年出版234 页ISBN：9787030283771
1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...
吴文俊著2010 年出版298 页ISBN：9787030285072
本书是作者从1954年以来在这方面的研究工作的一个总结报告，它的方法在于研究空间的去核p重积，即将p重积除去对角以后所余的空间，这一概念可追溯到vanKampen早在1932年的一篇重要论文。...
吴文俊著2011 年出版307 页ISBN：9787811412611
本书是关于高等教育制度的经济学学理研究。把高等教育制度界定为一个社会的高等教育组织及其规则体系、一种关于高深专门知识和价值体系权威配置的社会制度的基础之上，运用制度经济学交易成本理论和成本收益...
