Handbook of automated reasoning vol.2（Robinson A. Voronkov A. (eds.)）（Elsevier 2001）

  • 书名：Handbook of automated reasoning, vol.2
  • 出版社：Elsevier
  • 作者：Robinson A., Voronkov A. (eds.)
  • 出版年份：2001
  • 电子书格式： DJVU
  • 简介：Delve into the comprehensive “Handbook of Automated Reasoning Vol. 2,” edited by Robinson and Voronkov, a seminal work in the field of automated reasoning published by Elsevier in 2001. This volume provides an in-depth exploration of advanced techniques and applications, covering crucial topics such as theorem proving, logic programming, and constraint satisfaction problems. Ideal for researchers, students, and practitioners seeking to expand their knowledge in automated reasoning and its diverse applications across computer science and artificial intelligence. Gain a deeper understanding of the theoretical foundations and practical implementations of automated reasoning systems. Enhance your expertise in this dynamic field with this essential reference.
  • ISBN：9780262182218
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有电子书，均为来自网络。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。