大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 陈光喜 的图书(共2本)
 |
高阶逻辑辅助证明系统0索取号：TP301.6/20142 作者：尼普科夫、鲍尔森、温泽尔、陈光喜、刘卓军、 出版社：北京 : 北京理工大学出版社, 2013 |  |
离散数学0索取号：O158/20088 作者：陈光喜、丁宣浩、古天龙、 出版社：北京 : 电子工业出版社, 2008 |
最近添加的分类
粤公网安备 44030602003680号