Handbook of Automated Reasoning - 1st Edition - ISBN: 9780444508133, 9780080532790

View on ScienceDirect

Handbook of Automated Reasoning, Volume 1

Name: Handbook of Automated Reasoning
ISBN: 9780080532790

1st Edition

Write a review

Editors: Alan Robinson Andrei Voronkov

Hardcover ISBN: 9780444508133

eBook ISBN: 9780080532790

Imprint: North Holland

Published Date: 22nd June 2001

Page Count: 2128

View all volumes in this series: Handbook of Automated Reasoning

Select country/region:

Sales tax will be calculated at check-out

DRM-free (Mobi, PDF, EPub)

eBook format help

Institutional Subscription

Tax Exempt Orders

Support Center

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Details

No. of pages:: 2128

Language:: English

Copyright:: © North Holland 2001

Published:: 22nd June 2001

Imprint:: North Holland

Hardcover ISBN:: 9780444508133

eBook ISBN:: 9780080532790

Ratings and Reviews

write a review

WRITE A REVIEW

* Indicates a required field

* Score:

* Title:

* Review:

Review's title & body can't be empty Question's body can't be empty Please enter a star rating for this review Name field cannot be empty Invalid email Your review has already been submitted. Max length was exceeded Please fill out all of the mandatory (*) fields One or more of your answers does not meet the required criteria

Thank you for posting a review!

We value your input. Share your review so everyone else can enjoy it too.

Thank you for posting a review!

Your review was sent successfully and is now waiting for our team to publish it.

Reviews (0)

Updating Results

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.

Institutional Subscription

Secure Checkout

Free Shipping

WRITE A REVIEW

Request Quote

Tax Exemption