大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 搜索包含 周训伟 的图书(共2本)

互逆主义逻辑与Super-Prolog语言

0
索取号:TP302.2/7
作者:周训伟、
出版社:北京:中国科学技术出版社,2002

互逆主义数理逻辑

0
索取号:O141/7
作者:周训伟、
出版社:北京:中国科学技术出版社,2004