Handbook of Automated Reasoning, Volume 1

1st Edition

Editors: Alan Robinson Andrei Voronkov
Hardcover ISBN: 9780444508133
eBook ISBN: 9780080532790
Imprint: North Holland
Published Date: 22nd June 2001
Page Count: 2128
480.00 + applicable tax
385.00 + applicable tax
310.00 + applicable tax
505.00 + applicable tax
Unavailable
Compatible Not compatible
VitalSource PC, Mac, iPhone & iPad Amazon Kindle eReader
ePub & PDF Apple & PC desktop. Mobile devices (Apple & Android) Amazon Kindle eReader
Mobi Amazon Kindle eReader Anything else

Institutional Access


Details

No. of pages:
2128
Language:
English
Copyright:
© North Holland 2001
Published:
Imprint:
North Holland
eBook ISBN:
9780080532790
Hardcover ISBN:
9780444508133

About the Editors

Alan Robinson Editor

Affiliations and Expertise

96 Highland Avenue, Greenfield, Massachusetts, USA

Andrei Voronkov Editor

Affiliations and Expertise

University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.