大约有3,000项符合查询结果项。（搜索耗时：0.0180秒）
为您推荐：
press上海计算机应用服务部
上海市计算机应用能力考核办公室
press成都电应用电子技术服务部
上海市电子计算机应用软件人员水平考试委员会实施办公室汇
press四川省电子计算机应用研究中心
上海市电子信息系统推广应用办公室
-
孙熙椿编著2007 年出版207 页ISBN：703015505X
本书全面总结了中国数学家对几何定理机器证明的重要成果，内容包括欧氏几何的完善与发展、几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法等。...
-
庞震著2006 年出版134 页ISBN：7309050428
本书讨论了无机化合物分子的微观结构和它们的电子光谱和振动光谱之间的关系。
-
金一庆等编1998 年出版216 页ISBN：7308020266
本教材主要介绍离散数学的集合论、组合论、图论、数理逻辑等知识。
-
周品等编著1991 年出版244 页ISBN：7543801965
-
（美）戈尔茨坦（Goldstein，J.I.）等著；张大同译1988 年出版454 页ISBN：703000468X
-
刘志万编著1989 年出版186 页ISBN：7312001130
-
傅玉普主编；傅玉普，郝策，蒋山编著2003 年出版375 页ISBN：7561123604
本书内容包括：化学热力学基础、相平衡等8章。
-
马振华主编；《现代应用数学手册》编委会编1998 年出版690 页ISBN：7302030545
-
施宪法编1999 年出版202 页ISBN：7040068702
-
何培之编1998 年出版221 页ISBN：7040062933
