书籍 面向计算机科学的数理逻辑系统建模与推理  英文版·第2版的封面

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

(英)胡思(Huth M.)伦敦帝国学院(MICHAELHuth)著

出版社

北京:机械工业出版社

出版时间

2005

ISBN

7111160533

标注页数

427 页

PDF页数

445 页

书籍介绍
本书提供了与现代计算机科学以及实际应用相关的重要内容,并且更大程度地满足了上述两种需求。
在线购买PDF电子书