当前位置:首页 > 外文
Handbook of automated reasoning; volume II
Handbook of automated reasoning; volume II

Handbook of automated reasoning; volume IIPDF电子书下载

外文

  • 电子书积分:48 积分如何计算积分?
  • 作 者:editors Alan Robinson and Andrei Voronkov
  • 出 版 社:Elsevier Science/the mit press
  • 出版年份:2001
  • ISBN:0444508120
  • 页数:2122 页
图书介绍:
《Handbook of automated reasoning; volume II》目录
标签:
返回顶部