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

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

暂无PDF目录预览