Search:

Product Information All Elsevier Sites   Advanced Product Search
SiteStat.jsp
HANDBOOK OF AUTOMATED REASONING, SET
Handbook of Automated Reasoning, Set
To order this title, and for more information, click here

Edited By
Alan Robinson, 96 Highland Avenue, Greenfield, Massachusetts, USA
Andrei Voronkov, University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.

Bibliographic details
Hardbound, 2128 pages, publication date: JUN-2001
ISBN-13: 978-0-444-50813-3
ISBN-10: 0-444-50813-9
Imprint: NORTH-HOLLAND

Price and Ordering
Price:
USD 470
GBP 288
EUR 339.95
order now
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.

077/743
Last update: 3 Oct 2009
Reviews
Submit your review
Bookmark this page
Recommend this publication
Overview of all books
Printer-friendly version   Printer-friendly version