面向计算机科学的数理逻辑系统建模与推理(英文版·第2版)
封面
书名:面向计算机科学的数理逻辑系统建模与推理(英文版·第2版)
作者:Michael Huth
页数:未知
定价:¥79.0
出版社:机械工业出版社
出版日期:2019-09-03
ISBN:9787111160533
PDF电子书大小:41MB 高清扫描完整版
书名:面向计算机科学的数理逻辑系统建模与推理(英文版·第2版)
作者:Michael Huth
页数:未知
定价:¥79.0
出版社:机械工业出版社
出版日期:2019-09-03
ISBN:9787111160533
PDF电子书大小:41MB 高清扫描完整版