Handbook of Automated Reasoning

Handbook of Automated Reasoning

1st Edition - June 22, 2001

Write a review

  • Editors: Alan Robinson, Andrei Voronkov
  • eBook ISBN: 9780080532790

Purchase options

Purchase options
DRM-free (EPub, Mobi, PDF)
Sales tax will be calculated at check-out

Institutional Subscription

Free Global Shipping
No minimum order

Description

Product details

  • No. of pages: 2128
  • Language: English
  • Copyright: © North Holland 2001
  • Published: June 22, 2001
  • Imprint: North Holland
  • eBook ISBN: 9780080532790

About the Editors

Alan Robinson

Affiliations and Expertise

96 Highland Avenue, Greenfield, Massachusetts, USA

Andrei Voronkov

Affiliations and Expertise

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

Ratings and Reviews

Write a review

There are currently no reviews for "Handbook of Automated Reasoning"