大约有2,000项符合查询结果项。（搜索耗时：0.0155秒）
为您推荐：
跨考教育计算机教研室
press东北工学院计算机系软件教研室
同济大学计算数学教研室著
中山大学计算机软件教研室编
工程图学及计算机 教研室
南京财经大学计算机公共教研室
-
-
孙熙椿编著2007 年出版207 页ISBN：703015505X
本书全面总结了中国数学家对几何定理机器证明的重要成果，内容包括欧氏几何的完善与发展、几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法等。...
-
张卫主编；谢少艾，陈虹锦副主编2002 年出版226 页ISBN：7810385747
本书介绍了计算机在化学领域中的应用。
-
金一庆等编1998 年出版216 页ISBN：7308020266
本教材主要介绍离散数学的集合论、组合论、图论、数理逻辑等知识。
-
胡鑫尧编著1982 年出版292 页ISBN：15235·50
-
钟金昌主编1997 年出版117 页ISBN：780125306X
-
刘志万编著1989 年出版186 页ISBN：7312001130
-
（英）威廉斯（Williams，H.P.）著；孟国璧等译1991 年出版350 页ISBN：711800510X
-
陈义成主编2002 年出版440 页ISBN：703010143X
-
徐洁磐等编著1997 年出版326 页ISBN：7115064040
