— 王国俊著
索书号：O141/3
标准编码： 7-03-016583-7
出版信息：北京 科学出版社 2006
主题词： 数理逻辑 归结方法
中文图书
收藏
— 常景月,王国俊,张世杰主编
索书号：G210-53/16
标准编码： 978-7-5029-2104-0
出版信息：北京 气象出版社 1995.12
1 共有：2条记录
