← Back Handbook of Automated Reasoning (vols. 1 & 2)
Handbook of Automated Reasoning (vols. 1 & 2)

Handbook of Automated Reasoning (vols. 1 & 2)

Download PDF
AuthorsRobinson, John Alan Voronkov, Andrei
TagsAutomatic theorem proving, Qualitative reasoning, Artificial Intelligence
PublisherElsevier
Published14 mar 2001
Date03 mar 2022
Languageseng
Identifiersuri: https://www.sciencedirect.com/book/9780444508133/handbook-of-automated-reasoning, lcn: QA76.9.A96, isbn: 9780444508133, Amazon.com, oclc: 162578801, google: D10BswEACAAJ

Description

Automated reasoning has matured into one of the most advanced areas of computer science. This handbook presents an overview of the fundamental ideas, techniques, and methods in automated reasoning and its applications. The material covers both theory and implementation.

Handbook of Satisfiability, "Chapter 1: A History of Satisfiability", ยง"1.15. Resolution", pp. 19-21 (PDF p. 39-41) is based on Davis's "The early history of automated deduction", ch. 1 of Handbook of Automated Reasoning vol. 1 (pp. 1-15, PDF pp. 13-24).