
Handbook of Automated Reasoning
- 1st Edition, Volume 1 - June 22, 2001
- Imprint: North Holland
- Editors: Alan J.A. Robinson, Andrei Voronkov
- Language: English
- eBook ISBN:9 7 8 - 0 - 0 8 - 0 5 3 2 7 9 - 0
Purchase options

- Edition: 1
- Volume: 1
- Published: June 22, 2001
- Imprint: North Holland
- Language: English
AR
Alan J.A. Robinson
Affiliations and expertise
96 Highland Avenue, Greenfield, Massachusetts, USAAV
Andrei Voronkov
Affiliations and expertise
University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.Read Handbook of Automated Reasoning on ScienceDirect