[百度网盘]面向计算机科学的数理逻辑系统建模与推理(英文版·第2版) PDF 作者 MichaelHuth 出版社 机械工业出版社 出版日期 2019 ISBN 9787111160533 阅读 428 评论 0 65 解压密码：6666 [主盘]夸克网盘 [备盘]百度网盘 内容简介 本书涵盖了命题逻辑、谓词逻辑、模态逻辑与Agent、二元决策图、模型检查和程序验证等内容。
![[百度网盘]面向计算机科学的数理逻辑系统建模与推理(英文版·第2版) PDF](https://image12.bookschina.com/2023/20230209/88/B8210195.jpg)
