面向计算机科学的数理逻辑系统建模与推理（哈斯）（机械工业出版社 2007）

  • 书名：面向计算机科学的数理逻辑系统建模与推理
  • 出版社：机械工业出版社
  • 作者：哈斯
  • 出版年份：2007
  • 电子书格式： pdf
  • 简介：《面向计算机科学的数理逻辑系统建模与推理》由哈斯（J. Michael Dunn）编著，机械工业出版社2007年出版。该书深入探讨了数理逻辑在计算机科学中的应用，涵盖了命题逻辑、谓词逻辑、模态逻辑等内容，适合计算机科学与技术专业的学生和研究人员阅读。多考网提供免费下载，助力您的学术研究与学习。
  • ISBN：9787111213970, 71112
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。