简单检索 多字段检索 组合检索 检索结果

—王国俊著

索书号：O141/00047/-2

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

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

—王国俊著

索书号：O141/00008

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

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

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

—王国俊著

索书号：F279.246/00688

标准编码：978-7-5641-5830-9

出版信息：东南大学出版社  2015.6  南京

—王国俊著

索书号：O141/00039

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

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

—王国俊著

索书号：O141/00055

标准编码：978-7-03-021295-5

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

—王国俊著

索书号：F279.21/00519

标准编码：978-7-305-23333-3

出版信息：南京大学出版社  2020.10  南京

—王国俊编著

索书号：TP183/00014

标准编码：7-04-016032-3

出版信息：高等教育出版社  2005  北京

—王国俊，周红军著

索书号：O141/00059

标准编码：978-7-03-022899-4

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

—王国俊, 姚宇韬著

索书号：F279.246/01193

标准编码：978-7-305-23330-2

出版信息：南京大学出版社  2020.7  南京