网站首页
交通运输
军事
农业科学
医药卫生
历史地理
哲学宗教
天文地球
工业技术
政治法律
数理化
文化科学教育体育
文学
环境安全
生物
社会科学
经济
自然科学
航空航天
艺术
语言文字
马列毛邓
综合图书
其他书籍
外文
《面向计算机科学的数理逻辑系统建模与推理 英文版·第2版》PDF下载
购买积分:14
如何计算积分?
作 者:(英)胡思(Huth,M.)伦敦帝国学院(MICHAELHuth)著
出 版 社:北京:机械工业出版社
出版年份:2005
ISBN:7111160533
页数:427 页
图书介绍:本书提供了与现代计算机科学以及实际应用相关的重要内容,并且更大程度地满足了上述两种需求。
点击购买此书全本PDF电子书
暂无目录预览