大约有3,000项符合查询结果项。（搜索耗时：0.0129秒）
为您推荐：
西安电子科技大学工程图学与计算机绘图教研室
工程图学及计算机 教研室
中国纺织大学工程图学教研室
大连理工大学工程图学教研室
中国纺织大学工程图学教研室等
合肥工业大学工程图学教研室
-
孙熙椿编著2007 年出版207 页ISBN：703015505X
本书全面总结了中国数学家对几何定理机器证明的重要成果，内容包括欧氏几何的完善与发展、几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法等。...
-
王仲奕等编著2001 年出版273 页ISBN：7560514138
-
孙广毅主编2007 年出版248 页ISBN：7811330652
本书共分6章，包括复数与复变函数、解析函数、复变函数的积分、级数、留数、共形映射等，可供高等院校各专业师生使用。
-
杨尔滨等编著2005 年出版269 页ISBN：7508335333
-
赵光恒主编2001 年出版470 页ISBN：756301165X
-
蔡树棠等编著1995 年出版146 页ISBN：7030044304
-
赵肃铭等编1992 年出版343 页ISBN：756030401X
-
张卫主编；谢少艾，陈虹锦副主编2002 年出版226 页ISBN：7810385747
本书介绍了计算机在化学领域中的应用。
-
金一庆等编1998 年出版216 页ISBN：7308020266
本教材主要介绍离散数学的集合论、组合论、图论、数理逻辑等知识。
-
胡鑫尧编著1982 年出版292 页ISBN：15235·50
