Logic for computer science foundations of automatic theorem proving（Jean H. Gallier）（Longman Higher Education 1986）

  • 书名：Logic for computer science: foundations of automatic theorem proving
  • 出版社：Longman Higher Education
  • 作者：Jean H. Gallier
  • 出版年份：1986
  • 电子书格式： pdf
  • 简介：Delve into the foundational concepts of automated theorem proving with Jean H. Gallier’s “Logic for Computer Science”. This comprehensive textbook explores propositional and predicate logic, resolution, unification, and more. Ideal for computer science students and professionals seeking a rigorous understanding of automated reasoning, this book provides a solid mathematical basis for advanced topics in artificial intelligence and software engineering. Gain a deeper understanding of logic’s role in computer science, learn practical theorem proving techniques, and enhance your problem-solving skills with this classic text. Suitable for undergraduate and graduate-level courses.
  • ISBN：9780060422257, 00604
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有电子书，均为来自网络。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。