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

封面

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

作者:Michael Huth

页数:未知

定价:¥79.0

出版社:机械工业出版社

出版日期:2019-09-03

ISBN:9787111160533

PDF电子书大小:41MB 高清扫描完整版