Logic in Computer Science（Hantao Zhang Jian Zhang）（Springer 2025）

  • 书名：Logic in Computer Science
  • 出版社：Springer
  • 作者：Hantao Zhang, Jian Zhang
  • 出版年份：2025
  • 电子书格式： PDF
  • 简介：Dive into the world of Logic in Computer Science with this comprehensive guide by Hantao Zhang and Jian Zhang. Published by Springer in 2025, this book provides a rigorous yet accessible exploration of logic’s fundamental role in computer science. Ideal for students and professionals alike, it covers key topics including propositional logic, predicate logic, automated theorem proving, and more. Enhance your understanding of computational logic and its applications in artificial intelligence, software verification, and database systems. Gain valuable insights and practical skills to excel in the field.
  • ISBN：9789819798155
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有电子书，均为来自网络。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。