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

作者：MichaelHuth

页数：427

出版社：机械工业出版社

出版日期：2019

ISBN：9787111160533

电子书格式：pdf/epub/txt

内容简介

本书涵盖了命题逻辑、谓词逻辑、模态逻辑与Agent、二元决策图、模型检查和程序验证等内容。