书名：面向计算机科学的数理逻辑系统建模与推理
出版社：机械工业出版社
作者：哈斯
出版年份：2007
电子书格式： pdf
简介：《面向计算机科学的数理逻辑系统建模与推理》由哈斯（J. Michael Dunn）编著，机械工业出版社2007年出版。该书深入探讨了数理逻辑在计算机科学中的应用，涵盖了命题逻辑、谓词逻辑、模态逻辑等内容，适合计算机科学与技术专业的学生和研究人员阅读。多考网提供免费下载，助力您的学术研究与学习。
ISBN：9787111213970, 71112