Handbook of automated reasoning; volume II
- 作者editors Alan Robinson and Andrei Voronkov
- 出版社Elsevier Science/the mit press
- 标注页数2122 页
- 文件页数1184 页
- 文件大小244.86 MB
- 出版时间2001
- ISBN0444508120
同出版社推荐
班禅大师驻锡地-札什伦布寺丹迥·冉纳班杂（第五世）撰文；吕相友等摄影 · 北京：外文出版社；北京：民族出版社 · 1993
中朝词典洪万植等著；许光弼等编 · 北京：外国文图书出版社；北京：中国民族出版社 · 1986
班禅大师驻锡地札什伦布寺蒙紫等编辑；丹迥·冉纳班杂撰文；吕相友等摄影 · 北京：民族出版社；北京：外文出版社 · 1993
名家指点初中英语 第2册 上周国彪主编 · 北京：民族出版社；北京：人民中国出版社 · 1999
品味兴安刘春良主编 · 北京：中国摄影出版社；北京：中国民族摄影艺术出版社 · 2008
邓小平理论青少年图文读本张雷声，张新主编 · 北京：中央民族大学出版社；北京：长城出版社 · 2000
伟人毛泽东周国全等主编 · 北京：中共中央党校出版社；北京：中央民族大学出版社 · 1995
我国牧业区基本情况简介民族事务委员会编 · 北京：北京民族出版社 · 1958