西南石油大学图书馆

— 石纯一

索 书 号 ：73.82/280

标准编码： 7-302-02432-4

出版信息：    

中文图书

收藏

— 石纯一

索 书 号 ：73.87221/758

标准编码： 7-302-01307-1

出版信息：    

中文图书

收藏

— 石纯一等

索 书 号 ：51.3/25

标准编码： 7-302-00557-5

出版信息：    

中文图书

收藏

— 石纯一, 张伟著

索 书 号 ：TP311.56/254

标准编码： 978-7-302-12800-7

出版信息：清华大学出版社  2007.5  北京

中文图书

收藏

— 石纯一，王家□编著

索 书 号 ：51.3/25

标准编码： 7-302-00557-5

出版信息：清华大学出版社  1990.2  北京

主 题 词 ： 数理逻辑   集论  

中文图书

收藏

— 石纯一，廖士中[编著]

索 书 号 ：TP181/10

标准编码： 7-302-05637-4

出版信息：清华大学出版社  2002  北京

主 题 词 ： 人工智能   人工智能   推理  

中文图书

收藏

— [美]N.J.尼尔逊;石纯一等译

索 书 号 ：73.82/57

标准编码： 15031.471

出版信息：    

中文图书

收藏

— (英)D.J.库克,H.E.贝兹著 石纯一等译

索 书 号 ：51.9/71

标准编码： 7-03-000469-8

出版信息：    

中文图书

收藏

— (美)Richard Johnsonbaugh著

索 书 号 ：O158/23(5)

标准编码： 7-115-10354-2

出版信息：人民邮电出版社  2003  北京

主 题 词 ： 离散数学   离散数学  

中文图书

收藏

— (美)尼尔森(Nillson，N.J.)著

索 书 号 ：73.82/57

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

中文图书

收藏