吴文俊著;高小山编订2019 年出版234 页ISBN:9787508855530
本卷是由吴文俊的书《几何定理机器证明的基本原理》组成的。本书可以作为数学与相关领域研究人员、教师、研究生的参考文献,也可以作为计算机数学的参考书。吴文俊先生是中国科学院院士,第三世界科学院院士,中...
李涵本册主编;李文俊,吕兴,王伟平等编2009 年出版122 页ISBN:9787535154255
本套丛书是以语文课程标准中“全面发展”的教育教学价值取向为基本理念,以辅助学生学习、复习、备考,全面培养学生的语文素养为目的的助学读物。...
吴文俊著;李邦河编订2019 年出版298 页ISBN:9787508855578
《吴文俊全集·拓扑学卷III》收录由吴文俊先生生前出版的图书《可剖形在欧氏空间中的实现问题》。本书可作为数学与相关领域研究人员、教师、研究生的参考文献,也可以作为计算机数学的参考书。吴文俊先生是...
吴文俊著;高小山编订2019 年出版288 页ISBN:9787508855516
本卷由吴文俊的书Machanical Theoren Provingin Goemetries组成。本书可作为数学与相关领域研究人员、教师、研究生的参考文献,也可以作为计算机数学的参考书。吴文俊,研究员,中国科学院数学与系统科学研究...
杨春梅,鄂文东主编;文俊,候春源,张福德副主编2011 年出版256 页ISBN:9787501447602
本书作者通过80个案例对与消防有关的民事侵权、民事合同纠纷进行了法律研究,对案件争议或法律问题予以解读,进行法理分析并提供参考结论。...
中共武汉市委党史研究室,武汉市新四军历史研究会,湖北美术学院编著;吴文俊文字编撰;胡博飞美术编绘;孟元添,郑乔毅绘画制作2015 年出版87 页ISBN:7543094223
本书以八册系列动漫连环画的形式,生动形象地反映武汉抗战期间以国共合作为基础,中华民族空前团结、浴血奋战的光辉历史,充分表现武汉作为当时世界反法西斯战争东方主战场的伟大贡献,彰显武汉作为第二次国共合作...
吴文俊,卢亚灵,蒋洪强,张静编著2017 年出版474 页ISBN:9787511132031
环境规划法规模型标准化应用指南是为加强环境承载力评估、监测与预警的理论与模型方法及实践应用的学术交流,探讨环境承载力评估、监测、预警和优化调控的前沿技术以及相关热点与难点问题,提升我国环境规划与...