图书馆

— 王国俊著

索书号：O141/1062/2006

标准编码： 7-03-016583-7

出版信息：北京  科学出版社  2006

中文图书

收藏

— 王国俊著

索书号：O141/1062/2000

标准编码： 7-03-008544-2

出版信息：北京  科学出版社  2000

中文图书

收藏

— 王国俊著

索书号：O141/1062/2003

标准编码： 7-03-011579-1

出版信息：北京  科学出版社  2003

主题词： 数理逻辑   归结方法  

中文图书

收藏

— 王国俊著

索书号：O141/9

标准编码： 7-03-016583-7

出版信息：  科学出版社  

中文图书

收藏

— 王国俊著

索书号：O141/6

标准编码： 7-03-008544-2

出版信息：  科学出版社  

中文图书

收藏