Handbook of Automated Reasoning
Edited by- Alan Robinson, 96 Highland Avenue, Greenfield, Massachusetts, USA
- Andrei Voronkov, University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.
Hardbound, 2128 Pages
Published: June 2001
Imprint: North-holland
ISBN: 978-0-444-50813-3
