Handbook of Automated Reasoning
The Handbook of Automated Reasoning (ISBN 0444508139, 2128 pages) is a collection of survey articles on the field of automated reasoning. Published on June 2001 by MIT Press, it is edited by John Alan Robinson and Andrei Voronkov. Volume 1 describes methods for classical logic, first-order logic with equality and other theories, and induction. Volume 2 covers higher-order, non-classical and other kinds of logic.
A preprint is freely available of:
- Volume 1, chapter 8, p.447–533: F. Baader and W. Snyder, Unification Theory
|This article about a computer book or series of books is a stub. You can help Wikipedia by expanding it.|