 Handbook of Automated Reasoning

The "Handbook of Automated Reasoning" is a comprehensive reference work that covers the field of automated reasoning, which involves using algorithms and computer programs to derive conclusions from premises or to solve logical problems. The handbook is usually structured in two volumes and is edited by prominent researchers in the area, such as Alan Robinson and Stenning.