《Handbook of automated reasoning; volume II》PDF下载

• 购买积分：48 如何计算积分？
• 作　　者：editors Alan Robinson and Andrei Voronkov
• 出 版 社：Elsevier Science/the mit press
• 出版年份：2001
• ISBN：0444508120
• 页数：2122 页