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

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