《自动推理引论及其应用》PDF下载

  • 购买积分:16 如何计算积分?
  • 作  者:周祥和等编译
  • 出 版 社:武汉:武汉大学出版社
  • 出版年份:1987
  • ISBN:7307001764
  • 页数:512 页
图书介绍:
暂无目录预览