— 王宪钧编著
索书号：O141/1038
出版信息：北京 北京大学出版社 1982
中文图书
收藏
— 王国俊著
索书号：O141/1062/2006
标准编码： 7-03-016583-7
出版信息：北京 科学出版社 2006
索书号：O141/1062/2003
标准编码： 7-03-011579-1
出版信息：北京 科学出版社 2003
主题词： 数理逻辑 归结方法
— 朱梧？， 肖奚安编著
索书号：O141/12
标准编码： 978-7-5611-4033-8
出版信息： 大连理工大学出版社
索书号：O141/9
出版信息： 科学出版社
— 刘志明, 裘宗燕编著
索书号：O141/0246/2022
标准编码： 978-7-03-073238-5
出版信息：北京 科学出版社 2022
1 共有：6条记录
