— (美)HERBERT B.ENDERTON著
索书号：O141/1
标准编码： 978-7-115-14311-2
出版信息：北京 人民邮电出版社 2007
中文图书
收藏
— 王国俊著
索书号：O141/3
标准编码： 7-03-016583-7
出版信息：北京 科学出版社 2006
主题词： 数理逻辑 归结方法
1 共有：2条记录
