22 Jun 2001
Imprint: North Holland
Print Book ISBN :
Affiliations and Expertise
96 Highland Avenue, Greenfield, Massachusetts, USA
Handbook of Automated Reasoning, 1st Edition
University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.
We'd like to ask you to provide feedback on your experience with Elsevier Store today. Your feedback will be used to enhance the site in the future.
Would you be willing to answer a few questions when you leave our site?
Yes, I'm willing to take part in a survey | No, thank you