Handbook of Practical Logic and Automated Reasoning（John Harrison）（Cambdirdge University Press 2009）

  • 书名：Handbook of Practical Logic and Automated Reasoning
  • 出版社：Cambdirdge University Press
  • 作者：John Harrison
  • 出版年份：2009
  • 电子书格式： pdf
  • 简介：Dive into the world of practical logic and automated reasoning with John Harrison’s comprehensive handbook. This definitive guide explores key concepts, algorithms, and applications, equipping readers with a solid understanding of formal logic and its computational power. Ideal for students, researchers, and professionals in computer science, artificial intelligence, and related fields, the book seamlessly blends theoretical foundations with practical techniques, covering theorem proving, model checking, and more. Gain valuable insights into automated reasoning systems and their real-world implications. Enhance your problem-solving capabilities and contribute to the advancement of automated reasoning technologies. Master the art of logical reasoning and its computational implementation.
  • ISBN：9780521899574, 05218
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有电子书，均为来自网络。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。