大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 温泽尔 的图书(共2本)

远离阿贡当市 / (法) 温泽尔著

7.7
索取号:I565.35/20063
作者:温泽尔、宁春、
出版社:北京 : 中国传媒大学出版社, 2006

高阶逻辑辅助证明系统

0
索取号:TP301.6/20142
作者:尼普科夫、鲍尔森、温泽尔、陈光喜、刘卓军、
出版社:北京 : 北京理工大学出版社, 2013