《面向计算机科学的数理逻辑系统建模与推理 英文版·第2版》PDF下载

  • 购买积分:14 如何计算积分?
  • 作  者:(英)胡思(Huth,M.)伦敦帝国学院(MICHAELHuth)著
  • 出 版 社:北京:机械工业出版社
  • 出版年份:2005
  • ISBN:7111160533
  • 页数:427 页
图书介绍:本书提供了与现代计算机科学以及实际应用相关的重要内容,并且更大程度地满足了上述两种需求。
暂无目录预览